Announcement
Starting on July 4, 2018 the Indonesian Publication Index (IPI) has been acquired by the Ministry of Research Technology and Higher Education (RISTEKDIKTI) called GARUDA Garba Rujukan Digital (http://garuda.ristekdikti.go.id)
For further information email to portalgaruda@gmail.com

Thank you
Logo IPI  
Journal > Bulletin of Electrical Engineering and Informatics > A Hybrid Hardware Verification Technique in FPGA Design

 

Bulletin of Electrical Engineering and Informatics
Vol 3, No 1: March 2014
A Hybrid Hardware Verification Technique in FPGA Design
Firouzabadi, Mojtaba.Dehghani ( Azad University of Meybod)
Heidari, Hossein ( Azad University of Meybod)
Article Info   ABSTRACT
Published date:
01 Mar 2014
 
Assertion-based verification (ABV) is best emerging technique for verification of industrial hardware. Property Specification Language (PSL) is one of the most important components of ABV. In this paper we present a method to emulate hardware that is capable of support ABV that in it assertion expressions mapped to HDL. We simulated this method by an applicable example by Modelsim software. Test results indicate that this method performance is good.
Copyrights © 2014