An Algebraic Approach to Formal Verification of Microprocessors
Author： Hirabayashi K.
Publisher： Springer Publishing Company
ISSN： 0923-8174
Source： Journal of Electronic Testing, Vol.17, Iss.6, 2001-12, pp. : 543-544
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
