Using Word-Level Information in Formal Hardware Verification

ISSN： 0005-1179

Source： Automation and Remote Control, Vol.65, Iss.6, 2004-06, pp. : 963-977

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

Abstract

Related content

Modeling Combinational Circuits Using Linear Word-level Structures

By Popel D. V. Yanushkevich S. N.

Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. : 1018-1032

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Word-Level Script Identification Using Texture Based Features

International Journal of System Dynamics Applications (IJSDA), Vol. 4, Iss. 2, 2015-04 ,pp. : 74-94

IGI Global_journal

Access to resources Recommend Favorite

HDL Constructs in Linear Word-Level Decision Diagram Based Specification

By Wahid K. Lu D. C. Rahman C.

Automation and Remote Control, Vol. 65, Iss. 6, 2004-06 ,pp. : 913-919

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Line Parameter based Word-Level Indic Script Identification System

International Journal of Computer Vision and Image Processing (IJCVIP), Vol. 6, Iss. 2, 2016-07 ,pp. : 18-41

IGI Global_journal

Access to resources Recommend Favorite

Secure and Robust Telemedicine using ECC on Radix-8 with Formal Verification

International Journal of Information Security and Privacy (IJISP), Vol. 12, Iss. 1, 2018-01 ,pp. : 13-28

IGI Global_journal

Access to resources Recommend Favorite