Home navigate_next Journals navigate_next ITCHEE navigate_next Vol. 4, No. 2navigate_next Latest trends in Hardware Verification
ICSES Transactions on Computer Hardware and Electrical Engineering
Vol. 4, No. 2, Jun. 2018


Latest trends in Hardware Verification

Miscellaneous
493
Visits
103
Downloads
a Intel Corporation, San Jose, USA

 

Highlights and Novelties
1. Prioritization strategies on chip verification

2. How coverage driven random stimuli creates hard to reach corner-cases

3. Simulation based vs property based (assertion/formal) techniques

 

Manuscript Abstract
Chip design complexity has grown in the past two decades at an exponential rate. In this era of multi-million gate System on Chip (SOC) designs, the verification activity consumes more than 70% of the total project effort. The cost of a design bug and subsequent re-spin of the chip is in the order of tens of millions of dollars. However, exhaustively verifying the design for all possible input and state-space conditions is a seemingly impossible task. This paper has tried to capture the state of the art verification methodologies used for present day ASIC and FPGA design. It explains the philosophy behind coverage driven constraint random verification, something that has revolutionized the chip verification industry. The paper also talks about two recently introduced techniques, namely assertion and formal verification. Compared to the traditional simulation based verification methodologies, formal and assertion methods provide a more complete coverage, but at the expense of more compute resource and time.

 

Keywords
 Chip Design   Constraint Random Verification   Assertion   Formal Verification 

 

Copyright and Licence
© Copyright was transferred to International Computer Science and Engineering Society (ICSES) by all the Authors.This manuscript is published in Open-Access manner based on the copyright licence of Creative Commons Attribution Non Commercial 4.0 International (CC BY-NC 4.0).

 

Cite this manuscript as
Joydeep Bhattacharyya, "Latest trends in Hardware Verification," ICSES Transactions on Computer Hardware and Electrical Engineering (ITCHEE), vol. 4, no. 2, pp. 1-2, Jun. 2018.

 

For External Scientific Databeses
--BibTex-- --EndNote-- --Dublin--
Purchase and Access

lock_open Open-Access

Bibliography

Manuscript ID: 95
Pages: 1-2
Submitted: 2018-02-27
Revised: 2018-03-06
Accepted: 2018-03-09
Published: 2018-06-30


Cited By (0)
Journal's Title
ITCHEE Cover Page

Journal

ICSES Transactions on Computer Hardware and Electrical Engineering
ISSN: 2467-294X

ISSN: 2467-294X
Frequency: Quarterly
Accessability: Online - Open Access (till 2020)
Founded in: Dec. 2015
Publisher: ICSES
DOI Suffix: 10.31424/icses.itchee