Conception logique moderne

A propos de l'auteur

Randy H.Kata, professeur de génie électrique et d'informatique à l'Université de Californie à Berkeley et doyen du département de génie électrique et d'informatique. Fellow de l'ACM et de l'IEEE, ses recherches sur la conception et la mise en œuvre de systèmes informatiques sont sans égal. En raison de ses contributions exceptionnelles, UMC (United Microelectronics Corporation) a alloué des fonds spéciaux pour le soutenir dans la recherche en génie électrique et en informatique. Les orientations de recherche récentes du professeur Katz sont les communications sans fil, les applications informatiques mobiles, les technologies de collaboration distribuée et les systèmes de stockage vidéo.

introduction

Au cours des 10 années écoulées depuis la publication de la première édition de ce livre, la technologie de conception numérique n'a cessé d'évoluer. La première édition de ce livre se concentre sur le contenu de base, les concepts et les méthodes de conception logique numérique, et combine le développement actuel de la technologie de conception numérique, met à jour la technologie matérielle correspondante et ajoute les dernières connaissances de la technologie logique programmable. L'outil de conception de l'automatisation de la conception électronique est présenté, et quelques exemples de conception typiques sont décrits en utilisant le langage de description de matériel Verilog qui est actuellement dominant dans la conception logique numérique.

La première édition de ce livre met l'accent sur le contenu de base, les concepts et les méthodes de la conception logique numérique, et combine le développement actuel de la technologie de conception numérique, met à jour la technologie matérielle correspondante et ajoute les dernières connaissances La connaissance de la technologie logique de programmation a également introduit des outils de conception pour l'automatisation de la conception électronique. En utilisant le langage de description de matériel dominant Verilog dans la conception de logique numérique, quelques exemples de conception typiques sont décrits pour aider les lecteurs et les ingénieurs à utiliser le langage de description de matériel pour apporter des modifications. Conception approfondie du système numérique. Le livre est divisé en trois parties : le chapitre 1 est une vue d'ensemble de la conception logique ; Les chapitres 2 à 5 couvrent le contenu de la logique combinatoire ; Les chapitres 6 à 10 sont des introductions à la logique temporelle.

Le livre a une structure raisonnable, définit clairement les concepts, les technologies, les outils et les problèmes pratiques, fournit un grand nombre d'exemples de conception et utilise ces exemples pour discuter clairement de l'expérience et des règles de conception. Ce livre est très approprié comme matériel pédagogique pour les cours de conception logique numérique dans les collèges et universités, et peut également être utilisé comme ouvrage de référence pour le personnel d'ingénierie et technique engagé dans la conception logique numérique.

Contenu

Chapitre 1 Introduction

1.1 Une analyse minutieuse des titres de livres

1.2 Un bref historique de la conception logique

1.3 Calcul

1.4 Exemples

Sommaire

Lecture approfondie

Des exercices

Chapitre 2 Logique de combinaison

2.1 La sortie est fonction de l'entrée

2.2 Les lois et théorèmes de la logique booléenne

2.3 La réalisation de la formule booléenne

2.4 Logique à deux niveaux

2.5 Motivation de simplification à deux niveaux

2.6 Logique multi-niveaux

2.7 La motivation la plus simple à plusieurs niveaux

Sommaire

Lecture approfondie

Des exercices

Chapitre 3 Analyse logique combinatoire

3.1 Simplification à deux niveaux

3.2 Automatisation simplifiée à deux niveaux

3.3 Simplification multi-niveaux

3.4 Automatisation de la simplification à plusieurs niveaux

3.5 Temps de réponse du réseau combiné

3.6 Langage de description du matériel

Sommaire

Lecture approfondie

Des exercices

Chapitre 4 Technologie de logique combinatoire

4.1 Historique

4.3 Logique à deux niveaux et à plusieurs niveaux

4.4 Autres logiques qui ne sont pas des circuits de porte

Sommaire

Lecture approfondie

Des exercices

Chapitre 5 Étude de cas de conception logique combinatoire

5.1 Processus de conception

5.2 Problème de commande de fil de processus simple< /p>

5.3 Décodeur de clavier téléphonique

5.4 Calculateur d'année bissextile

5.5 Unité fonctionnelle logique

5.6 Conception de l'additionneur

5.8 Multiplicateur de combinaison

Sommaire

Lecture approfondie

Des exercices

Chapitre 6 Conception de la logique temporelle

6.1 Unité logique de synchronisation de base

6.2 Méthodologie de conception temporelle

6.3 S'inscrire

6.4 Langage de description du matériel

Sommaire

Lecture approfondie

Des exercices

Chapitre 7 Machine à états finis

7.1 Compteur

Chapitre 8 Analyse des machines à états finis

Chapitre 9 Technologie de logique séquentielle

Chapitre 10 Étude de cas de conception logique séquentielle

Annexe A Système de numérotation

Annexe B Circuits électroniques de base

Annexe C Types de déclencheurs

Index< /p>