Bulletin of Electrical Engineering and Informatics
Vol 3, No 1: March 2014

A Hybrid Hardware Verification Technique in FPGA Design

Mojtaba.Dehghani Firouzabadi (Azad University of Meybod)
Hossein Heidari (Azad University of Meybod)

Article Info

Publish Date
01 Mar 2014

Abstract

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




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Full PDF
104.308 KB
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
Bulletin of Electrical Engineering and Informatics
Website

Abbrev

EEI

Publisher

Universitas Ahmad Dahlan

Subject

Electrical & Electronics Engineering

Description

Bulletin of Electrical Engineering and Informatics (Buletin Teknik Elektro dan Informatika) ISSN: 2089-3191, e-ISSN: 2302-9285 is open to submission from scholars and experts in the wide areas of electrical, electronics, instrumentation, control, telecommunication and computer engineering from the ...