

Author: Wahid K. Lu D. C. Rahman C.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0005-1179
Source: Automation and Remote Control, Vol.65, Iss.6, 2004-06, pp. : 913-919
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




Linear Decision Diagram Based Mapping for Rapid Prototyping
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :






Using Word-Level Information in Formal Hardware Verification
By Drechsler R.
Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. :