Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Yosys</strong> Flows<br />
●<br />
Synthesis<br />
●<br />
<strong>Formal</strong> <strong>Verification</strong><br />
– iCE40 FPGAs<br />
– <strong>Yosys</strong>-STMBMC<br />
(Project IceStorm)<br />
●<br />
●<br />
Bounded Model Checking<br />
Using any SMT-LIB2 solver<br />
– Xilinx 7-Series FPGAs<br />
(Vivado for place&route)<br />
●<br />
(using QF_AUFBV logic)<br />
Supported solvers:<br />
Z3, CVC4, Yices, ...<br />
– ASIC Flows<br />
– <strong>Yosys</strong> built-ins<br />
●<br />
●<br />
●<br />
Qflow<br />
Coriolis2<br />
Efabless.com Open Galaxy<br />
●<br />
●<br />
SAT solver<br />
Equiv checking framework<br />
– <strong>Yosys</strong> + ABC<br />
– Custom flows<br />
●<br />
From simple toy projects<br />
●<br />
Synthesis + miter generation in <strong>Yosys</strong>,<br />
write BLIF, solve in ABC<br />
to PhD studies