Skip to main content
Nitte Meenakshi Institute of Technology
Your cart is empty.
Cart
Lists
Public lists
NewArrival
SCM
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Clear
O
nline
P
ublic
A
ccess
C
atalogue
About Us
NMIT Home
Library Rules
Membership
How Do I
Guide
QuestionPapers
Diploma
BE
M.Tech
MCA
MBA
e-Journals
IEEE-ASPP/POPall
Knimbus
Science Direct
Springer Nature
Taylor & Francis
ICE
Emerald
DOAJ
e-Books
Cambridge Uni. Press
Pearson e-Library
Elsevier -e- Books
Talylor & Francis
McGraw-Hill
New Age International
Packt
DOAB
PDF Drive
e-Books on Calibre
Writing & Grammer Tool
NetAnalytiks
e-Learning
VTU e-Learning
VTU e-Shikshana
MHRD VLabs
NPTEL
EDUSAT
VIDYAMITRA
SWAYAM MOOCS
MIT Open Courseware
e-CONTENT
Spoken Tutorials
Code Academy
W3Schools
TCS iON
ILL/Resource Sharing
DELNET
E-Theses & Dissertations
Shodhganga
Networked Digital Library of Thesis & Dissertations
Ohio ETD Link
e-Newspapers
TOI, ET, Mirror
Indian e-Papers
Lifelong Learning
Swayam
Internet Archive
ThoughtCo
Technology News
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Forgot your password?
Home
ISBD view for: Assertion-Based Design
Normal view
MARC view
ISBD view
Assertion-Based Design
Foster, Harry.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - 414 p. online resource.
Assertion Methodology -- Specifying RTL Properties -- PLI-Based Assertions -- Functional Coverage -- Assertion Patterns -- Assertion Cookbook -- Specifying Correct Behavior.
Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82 3. 5 SystemVerilog assertions 84 3. 5. 1 Immediate assertions 84 3. 5. 2Concurrent assertions 86 3. 5. 3 System functions 95 3. 6 PCI property specification example 96 3. 6. 1 PCI overview 96 3. 7 Summary 102 Chapter 4 PLI-Based Assertions 103 4. 1 Procedural assertions 104 4. 1. 1 A simple PLI assertion 105 4. 1. 2 Assertions within a simulation time slot 108 4. 1. 3 Assertions across simulation time slots 111 4. 1. 4 False firing across multiple time slots 116 4. 2 PLI-based assertion library 118 4. 2. 1 Assert quiescent state 119 4. 3 Summary 123 Chapter 5 Functional Coverage 125 5. 1 Verification approaches 126 5. 2 Understanding coverage 127 5. 2. 1 Controllability versus observability 128 5. 2.
ISBN:
9781402080289
Standard No.:
10.1007/b117047 doi
Subjects--Topical Terms:
Engineering.
Computer aided design.
Computer engineering.
Systems engineering.
Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
LC Class. No.:
TK7888.4
Dewey Class. No.:
621.3815
Print
Add to your cart
(remove)
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC