Time-Frame Folding: Back to the Sequentiality
- Duration: Sep. 2018 – Nov. 2019
- The research manuscript was accepted and published by the ICCAD 2019.
- This was my first graduate research project instructed by Prof. Jie-Hong Roland Jiang.
- Time-frame folding is the reverse operation of time-frame expansion. It constructs a sequential circuit from an k-iterative combinational circuit.
- The constructed circuit is equivalent to the original circuit within the bounded k time-frames.
- Empirical evaluation demonstrates its ability in circuit size compaction and suggests potential use in testbench generation and bounded strategy generalization.
- Click the links to view the paper [IEEE Xplore | PDF], the slides and the source code.
