The Synthesis of Cyclic Circuits with SAT and Interpolation By John Backes and Marc Riedel ECE University of Minnesota.
01/25/2005 Combinationality of cyclic circuits EECS 290A – Spring 2005 UC Berkeley.
Mahapatra-A&M-Sprong'021 Co-design Finite State Machines Many slides of this lecture are borrowed from Margarida Jacome.
The Analysis of Cyclic Circuits with Boolean Satisfiability
Co-design Finite State Machines
03/08/2005 © J.-H. Jiang1 Retiming and Resynthesis EECS 290A – Spring 2005 UC Berkeley.