Hardware Verification of a Micro-Scale Receiver for Synthetic DNA Molecular Communications.
Yuanhang ZhangFupeng HuangJie SongLin LinYuting YangXiao ZhiHao YanPublished in: IEEE Trans. Mol. Biol. Multi Scale Commun. (2023)
Keyphrases
- dna computing
- low cost
- sequence analysis
- hardware designs
- real time
- dna sequences
- hardware and software
- model checking
- hardware implementation
- real world
- computing systems
- formal methods
- computer systems
- real images are presented
- communication systems
- face verification
- computing power
- personal computer
- verification method
- three dimensional