Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits

ISSN： 0923-8174

Source： Journal of Electronic Testing, Vol.30, Iss.1, 2014-02, pp. : 41-55

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Multi-VDD Testing for Analog Circuits

By Gyvez José

Journal of Electronic Testing, Vol. 21, Iss. 3, 2005-06 ,pp. : 311-322

Springer Publishing Company

Access to resources Recommend Favorite

Generation and Verification of Tests for Analog Circuits Subject to Process Parameter Deviations

By Spinks S.J.

Journal of Electronic Testing, Vol. 20, Iss. 1, 2004-02 ,pp. : 11-23

Springer Publishing Company

Access to resources Recommend Favorite

Frequency Response Verification of Analog Circuits Using Global Optimization Techniques

By Seshadri S.

Journal of Electronic Testing, Vol. 17, Iss. 5, 2001-10 ,pp. : 395-408

Springer Publishing Company

Access to resources Recommend Favorite

All-silicon optical contactless testing of integrated circuits

By Sayil S. Kerns D. Kerns S.

International Journal of Electronics, Vol. 89, Iss. 7, 2002-07 ,pp. : 537-547

Taylor & Francis Ltd

Access to resources Recommend Favorite

Thermal Testing of Analogue Integrated Circuits: A Case Study

By Altet J.

Journal of Electronic Testing, Vol. 19, Iss. 3, 2003-06 ,pp. : 353-357

Springer Publishing Company

Access to resources Recommend Favorite