Search Results
 
  Search result  Your search for [subject]Integrated circuits -- Verification returned 8 records.  
 
Sort by:  
 
     
  Book Electronic design automation for integrated circuits handbook.

Boca Raton, FL: CRC Taylor & Francis, 2006.

Subject: Integrated circuits -- Computer-aided design; Integrated circuits -- Design and construction; Integrated circuits--Verification--Data processing.

  
     
Relevance: 27.10%
 
     
  Book Formal specification and verification of digital systems.

by Milne, George J.,; London: McGraw-Hill, 1994.

Subject: Digital integrated circuits -- Design and construction; Integrated circuits -- Verification; Computer hardware description languages.

  
     
Relevance: 26.30%
 
     
  Book Formal specification and verification of digital systems.

by Milne, George J.; London: McGraw-Hill, 1994.

Subject: Digital integrated circuits -- Design and construction -- Data processing; Integrated circuits -- Verification; Computer hardware description languages.

  
     
Relevance: 26.23%
 
     
  Continuing Resource Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990.

by Kurshan, R. P.,; Providence, RI: American Mathematical Society, 1991.

Subject: Digital integrated circuits -- Computer-aided design; Integrated circuits -- Verification.

  
     
Relevance: 25.78%
 
     
  Book Verification of systems and circuits using LOTOS, Petri Nets, and CCS.

by Yoeli, Michael, 1917-; Hoboken, N.J.: Wiley-Interscience, 2008.

Subject: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets.

  
     
Relevance: 24.23%
 
     
  Book Applied formal verification.

by Perry, Douglas L.; New York: McGraw-Hill, 2005.

Subject: Integrated circuits -- Verification; Electronic circuits -- Testing.

  
     
Relevance: 23.74%
 
     
  Book Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings _ CHARME '95.

Berlin: Springer, 1995.

Subject: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses; Integrated circuits -- Verification -- Congresses; Computer-aided design -- Congresses.

  
     
Relevance: 23.48%
 
     
  Book Digital timing macromodeling for VLSI design verification.

by Kong, Jeong-Taek, 1959-; Boston: Kluwer Academic, 1995.

Subject: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing; Integrated circuits -- Verification -- Data processing; Computer-aided design.

  
     
Relevance: 23.04%
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library