Programmable design of isothermal nucleic acid diagnostic assays through abstraction-based models.

Accelerating the design of nucleic acid amplification methods remains a critical challenge in the development of molecular tools to identify biomarkers to diagnose both infectious and non-communicable diseases. Many of the principles that underpin these mechanisms are often complex and can require iterative optimisation. Here we focus on creating a generalisable isothermal nucleic acid amplification methodology, describing the systematic implementation of abstraction-based models for the algorithmic design and application of assays. We demonstrate the simplicity, ease and flexibility of our approach using a software tool that provides amplification schemes de novo, based upon a user-input target sequence. The abstraction of reaction network predicts multiple reaction pathways across different strategies, facilitating assay optimisation for specific applications, including the ready design of multiplexed tests for short nucleic acid sequence miRNAs or for difficult pathogenic targets, such as highly mutating viruses.