Correct hardware design and verification methods : :: SCD d'Orléans

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988),...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Advanced Research Working Conference on Correct Hardware-like Design and Verification Methods :1999
Andre forfattere:	Pierre, Laurence, 19..-...., auteur en informatique (Directeur de la publication), Kropf, Thomas, 1961- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1703
Fag:	Génie logiciel Conception assistée par ordinateur Informatique Circuits intégrés Circuits intégrés à très grande échelle Logique symbolique et mathématique Essais Ordinateurs Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, proceedings, Laurence Pierre, Thomas Kropf (eds.), 1999, Berlin, Springer, 1 vol. (XI-366 p.), Lecture notes in computer science, 3-540-66559-5 • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662197691

Lignende værker

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
af: Geist, Daniel

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

Formal hardware verification : methods and systems in comparison
af: Kropf, Thomas, 1961-

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

Timing
af: Sapatnekar, Sachin S., 1967-
Udgivet: (2013)

VLSI engineering : beyond software engineering
af: Kunii, Toshiyasu, 1938-

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Harnessing VLSI system design with EDA tools
af: Kamat, Rajanish K., et autres
Udgivet: (2012)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
af: Macii, Enrico

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Effective Functional Verification : Principles and Processes
af: Vasudevan, Srivatsa
Udgivet: (2006)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Analysis and design of analog integrated circuits
af: Gray, Paul R., 1942-, et autres
Udgivet: (2010)

CAO de circuits et de systèmes intégrés
af: Mahdoum, Ali
Udgivet: (2020)

Adaptive resonance theory microchips
af: Serrano-Gotarredona, Teresa, et autres
Udgivet: (1998)

VLSI : circuits for emerging applications
af: Wojcicki, Tomasz
Udgivet: (2015)

Fourteenth international conference on numerical methods in fluid dynamics : proceedings of the conference held in Bangalore, India, 11 15 July 1994
af: Deshpande, Suresh M.

Conception des circuits VLSI : du composant au système
af: Anceau, François, 1940-2020, informaticien, et autres
Udgivet: (2007)

Logic Minimization Algorithms for VLSI Synthesis
af: Brayton, Robert King, 1933-, et autres

Silicon processing for the VLSI era
af: Wolf, Stanley, 1943-, et autres
Udgivet: (1986)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Integrated Circuit Test Engineering : Modern Techniques
af: Grout, Ian A.
Udgivet: (2006)

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Trace theory and VLSI design
af: Van de Snepscheut, Jan L. A., 1953-1994

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23 25, 1998 : proceedings

Logique combinatoire et technologie : cours et exercices
af: Gindre, Marcel, 1948-, et autres
Udgivet: (1987)

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Power-aware testing and test strategies for low power devices
Udgivet: (2010)

VHDL : méthodologie de design et techniques avancées : guide pratique du concepteur
af: Schneider, Thierry
Udgivet: (2001)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Evolvable systems : from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales