Fingerprint
Dive into the research topics of 'Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Nikolaos Liveris*, Hai Zhou, Prithviraj Banerjee
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution