Logic Minimization Algorithms for VLSI Synthesis :: SCD d'Orléans

Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Brayton, Robert King, 1933-, Hachtel, Gary D., 19..- (Author), McMullen, Curtis Tracy, 1958-...., mathématicien (Author), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Author)
বিন্যাস:	Livre numérique
ভাষা:	Anglais
প্রকাশিত:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
বিষয়গুলি:	Structure logique Circuits intégrés à très grande échelle Circuits intégrés numériques > Conception technique -- Informatique Algorithmes
অনলাইন ব্যবহার করুন:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
টীকা:	Autre(s) auteurs(s) : Alberto L. Sangiovanni-Vincentelli Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic minimization algorithms for VLSI synthesis, by Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen... [et al.], Boston (Mass.), Kluwer Academic Publishers, 1984, 1 vol. (IX-193 p.), The Kluwer international series in engineering and computer science, 0-89838-164-9

অনুরূপ উপাদানগুলি

VLSI : circuits for emerging applications
অনুযায়ী: Wojcicki, Tomasz
প্রকাশিত: (2015)

VLSI engineering : beyond software engineering
অনুযায়ী: Kunii, Toshiyasu, 1938-

Silicon processing for the VLSI era
অনুযায়ী: Wolf, Stanley, 1943-, অন্যান্য
প্রকাশিত: (1986)

Trace theory and VLSI design
অনুযায়ী: Van de Snepscheut, Jan L. A., 1953-1994

Conception des circuits VLSI : du composant au système
অনুযায়ী: Anceau, François, 1940-2020, informaticien, অন্যান্য
প্রকাশিত: (2007)

Harnessing VLSI system design with EDA tools
অনুযায়ী: Kamat, Rajanish K., অন্যান্য
প্রকাশিত: (2012)

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

Timing
অনুযায়ী: Sapatnekar, Sachin S., 1967-
প্রকাশিত: (2013)

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

Adaptive resonance theory microchips
অনুযায়ী: Serrano-Gotarredona, Teresa, অন্যান্য
প্রকাশিত: (1998)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
অনুযায়ী: Macii, Enrico

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
অনুযায়ী: Geist, Daniel

Direct transistor-level layout for digital blocks
অনুযায়ী: Gopalakrishnan, Prakash, 19..-, অন্যান্য

Logique électronique et circuits intégrés numériques : technologie, principes de fonctionnement électrique et logique, schémas d'utilisation des circuits intégrés de logique
অনুযায়ী: Damaye, Roger
প্রকাশিত: (1978)

Formal hardware verification : methods and systems in comparison
অনুযায়ী: Kropf, Thomas, 1961-

Pratique des circuits intégrés numériques
অনুযায়ী: Metzger, Georges, অন্যান্য
প্রকাশিত: (1988)

Radiocommunications numériques. Conception de circuits intégrés RF et micro-ondes
অনুযায়ী: Villegas, Martine
প্রকাশিত: (2002)

Circuits logiques intégrés : fonctions, technologies, performances, densités
অনুযায়ী: Lyon-Caen, Robert, 1926-2009
প্রকাশিত: (1982)

Montages flash
অনুযায়ী: Tavernier, Christian, 1955-
প্রকাশিত: (1991)

Montages à composants programmables
অনুযায়ী: Gueulle, Patrick
প্রকাশিত: (1993)

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

Circuits intégrés en arséniure de gallium : physique, technologie et règles de conception
প্রকাশিত: (1989)

Circuits logiques et automatismes à séquences
অনুযায়ী: Naslin, Pierre, 1920-2009
প্রকাশিত: (1965)

Principes et fonctions de l'électronique intégrée. Effets de volume - Structures à jonctions
অনুযায়ী: Boucher, Jacques, 1939-, অন্যান্য
প্রকাশিত: (1977)

Analog integrated circuits and signal processing.
প্রকাশিত: (2002)

Emploi rationnel des circuits intégrés : toute la pratique des circuits intégrés
অনুযায়ী: Œhmichen, Jean-Pierre, 1922-
প্রকাশিত: (1977)

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

Fourteenth international conference on numerical methods in fluid dynamics : proceedings of the conference held in Bangalore, India, 11 15 July 1994
অনুযায়ী: Deshpande, Suresh M.

Radiocommunications numériques. Conception de circuits intégrés RF et micro-ondes
অনুযায়ী: Villegas, Martine
প্রকাশিত: (2007)

VHDL : langage, modélisation, synthèse
অনুযায়ী: Airiau, Roland, অন্যান্য
প্রকাশিত: (1998)

Circuits hybrides à couches épaisses
অনুযায়ী: Chable, Yves
প্রকাশিত: (1993)

Digital design : principles and practices
অনুযায়ী: Wakerly, John F.
প্রকাশিত: (1990)

Digital design : principles and practices
অনুযায়ী: Wakerly, John F.
প্রকাশিত: (1994)

Catalogue alphanumérique des principaux circuits intégrés
প্রকাশিত: (1986)

Circuits intégrés linéaires
অনুযায়ী: Letocha, Jean
প্রকাশিত: (1986)

Circuits intégrés numériques : principes et applications des circuits intégrés numériques, familles, fonctions, utilisations
অনুযায়ী: Lilen, Henri, 1929-
প্রকাশিত: (1975)

Guide des circuits intégrés : Linéaires, TTL, CMOS
প্রকাশিত: (1983)

Integrated Circuit Test Engineering : Modern Techniques
অনুযায়ী: Grout, Ian A.
প্রকাশিত: (2006)

Les circuits linéaires et d'interface et leurs applications
অনুযায়ী: Pippenger, D.E, অন্যান্য
প্রকাশিত: (1989)

© 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