Good advice. Also not bad: Bening and Forster. If you're looking for
the inside on model checking (how does Vis work), Clarke's book is a
good introduction.
Roderick
@BOOK { Bening00 ,
AUTHOR = "L. Bening and H. Foster" ,
PUBLISHER = "Kluwer Academic Publishers" ,
TITLE = "Principles of Verifiable {RTL} Design" ,
YEAR = "2000"
}
@BOOK { Clarke99 ,
ADDRESS = "Cambridge, MA" ,
AUTHOR = "E. M. Clarke and O. Grumberg and D. A. Peled" ,
PUBLISHER = "MIT Press" ,
TITLE = "Model Checking" ,
YEAR = "1999"
}
Sampath wrote:
> Hi ,
> I feel you can try out reading Verification Books - some of
> them Written by " Janick Bergeron " and books on DFT , you have to
> strengthen yourself in
> DFT Techniques , writting a Testable code - namely an 8bit Counter
> can be broken into two 4 bit counters which help in Testing ans also
> saves a lot of time ...... and goes on
>
>
>
>Regds
>
>SAMPATH.D
>Member Technical - ASIC
>U & I Systems Design Ltd.,
>Vyalikaval,Bangalore-3.
>
>****************************************************************************
>This e-mail message (including any attachments) may contain confidential,
>legally privileged and proprietary information to U&I System Design or any
>of its group companies and may also be protected by product immunity. If you
>have erroneously received this message, please notify the sender by return
>e-mail and delete this message from your system. Any unauthorized use or
>dissemination of this message in whole or part is strictly prohibited.
>E-mail transmission cannot be guaranteed to be secure or free of errors,
>viruses, interceptions or interferences and U&I System Design shall not be
>liable for any delay in its receipt or damage to your system or for any
>violation of intellectual property right of any person.
>Any views, opinions and other information in this message that do not relate
>to the official business of U&I SYSTEM DESIGN or any
>
>
This archive was generated by hypermail 2b30 : Mon Feb 18 2002 - 04:19:29 MST