Chapter 9_Testbench Verification
Verification of Configurable Processor Cores Marines Puig-Medina, Gulbin Ezer, Pavlos Konas Design Automation Conference, 2000 Page(s): 426~431 presenter:
Copyright © 2004 by Doulos Ltd. All Rights Reserved Experiences of a PSL Educator John Aynsley, Technical Director.
ECE 681 VLSI Design Automation
ofdm
Backward Reasoning with Formal Properties: A methodology for bug isolation on simulation traces
David Lavo