Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

What do u mean by design for verification

Status
Not open for further replies.

harshad

Member level 1
Member level 1
Joined
Dec 6, 2002
Messages
35
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
281
What do u mean by design for verification
 

I suggest two books for your reference.
1. Writing testbenches : functional verification of HDL models
2.Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog
 

DFV is a very fashion concept. I used to attend a synopsys seminar trageted on verification. They advacate SystemVerilog for implementing DFV idea.
 

Thanks for the replies


Useless.
Warning!
 

where can i find this book "Writing testbenches : functional verification of HDL models"

thanks
 

It is basically verification of RTL (Chip) using standard verifiction methods by creating TEST BENCHES in HVL(Hardware Verification Language).
 

"System-on-a-Chip Verification - Methodology and Techniques" is a useful book for you
 

In general project, verification process will cost 60%

of project time, so design for verfication is payoff.


best regards



harshad said:
What do u mean by design for verification
 

the book <writing testbench>
and the <Principles of Verifiable RTL Design> are very good --
but i recommand this book for you ---if you are the newboy
<professional verification ------a guide to advanced functional verification>


you can read this book first, and then read the < writing testbench>
 

I suggest two books for your reference.
1. Writing testbenches : functional verification of HDL models
2.Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog


who has the books ? pls share them! thanks !!!
 

where can i find the book "System-on-a-Chip Verification - Methodology and Techniques" ??
 

mopengfei said:
the book <writing testbench>
and the <Principles of Verifiable RTL Design> are very good --
but i recommand this book for you ---if you are the newboy
<professional verification ------a guide to advanced functional verification>


you can read this book first, and then read the < writing testbench>

I too am interested in DFT/DFV. Let me know where can I get these books. Are these eBooks?
 

writing testbench

System-on-a-Chip Verification
 
Last edited by a moderator:

In short, you should design your testbench and vectors in paralle with you RTL design and you need to design some addtional logics for self testing. DFT compiler also will be helpful for the final check.
 

I think rtl with well coded structural assertion is some kind of DFV
 

Hello,
I would like to ask a question?

What is the difference between Design for verification and using scripts (TCL, perl) for verification?
 

It can mean either, the Design which is to be verified, or it may mean creating verification environment,i.e. writing behavioral models, and test pattern generation, so as to verify the DUT.
 

Design for verification is getting the designers who write the RTL to use assertions, documenation, comments, meaningful signal names that dont change as they go up and down the hierarchy, and other best practices to make the verification of the design easier and quicker. It also helps design reuse, too.
 

I think DFV means that you must consider verification problem even when you design other than when you begin to verification
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top