Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment.

Subodh M. Reddy, Wolfgang Kunz, Dhiraj K. Pradhan

Browse the full DAC paper archive.