Assertion-Based Design 论文

2003引用 250
Radiation Effects in ElectronicsVLSI and Analog Circuit TestingFormal Methods in Verification