Logic simulation: Difference between revisions

Content deleted Content added
BattyBot (talk | contribs)
Citation bot (talk | contribs)
Alter: template type. Add: series. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar
 
(One intermediate revision by the same user not shown)
Line 4:
 
==Use in verification==
Logic simulation may be used as part of the [[Verification and validation|verification]] process in designing hardware.<ref name="ResearchGate">{{cite journalbook |last1=Bombieri |first1=Nicola |last2=Fummi |first2=Franco |last3=Pravadelli |first3=Graziano |title=Hardware Design and Simulation for Verification |journalseries=Lecture Notes in Computer Science |date=May 2006 |pages=1–29 |url=https://www.researchgate.net/publication/221224340_Hardware_Design_and_Simulation_for_Verification221224340}}</ref>
 
Simulations have the advantage of providing a familiar look and feel to the user in that it is constructed from the same language and symbols used in design. By allowing the user to interact directly with the design, simulation is a natural way for the designer to get feedback on their design.
Line 22:
|year=1995
|publisher=IEEE
|url=https://ieeexplore.ieee.org/abstract/document/512503 }}</ref>
functional coverage, finite state machine (FSM) coverage, and many other metrics.<ref>{{cite conference
|title=Coverage analysis techniques for HDL design validation
Line 29:
|pages=48–55
|year=1999
|url=https://www.researchgate.net/profile/Chien-Nan-Liu/publication/266883269_Coverage_Analysis_Techniques_for_HDL_Design_Validation/links/54a566420cf256bf8bb4cf95/Coverage-Analysis-Techniques-for-HDL-Design-Validation.pdf266883269}}</ref>
 
== Event simulation versus cycle simulation ==