179 search results - page 5 / 36 » date 2002 |
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a new fast and templatized family of fine-grain asynchronous pipeline stages based on the single-track protocol. No explicit control wires are required outside...
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents an innovative algorithm for the automatic generation of March Tests. The proposed approach is able to generate an optimal March Test for an unconstrained set o...
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
S-parameter based circuit simulators are used a lot for the design of microwave circuits. The accuracy of these simulators is limited by the fact that they do not take the electro...