Synthetic bio overview video: write some logic in Verilog and compile it to E.coli plasmids, using repressors to implement NOR gates, inverters, etchttps://www.youtube.com/watch?v=lNttxYdGHs4 …
-
Are they using http://www.clifford.at/yosys/ written by
@oe1cxw to synthesize Verilog code into a netlist of biological primitives?https://youtu.be/lNttxYdGHs4?t=1221 …
I think they are using Yosys. (There was a paper along this lines at DATE last year and they were using Yosys and I'm just assuming this here is the same group/project.)
-
-
Next you'll be asking for formally proven biology!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Cello2 (https://github.com/CIDARLAB/Cello2 ) is the latest DNACompiler toolchain and does use Yosys (see requirements section).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.