Skip to content

Formal Verification of Synthesized Mixed Signal Designs Using *BMDs.

Abhijit Ghosh, Ranga Vemuri

Year2000
ProceedingsVLSI Design

Browse the full VLSID paper archive.