Foundations of Electronic Design Automation Volume Two : From Physics to Implementation
Langue : anglais
Edité par Amazon Digital Services LLC - Kdp Sep 2026, 2026
Série : Livre 1 sur 4 - Modern Semiconductor Design and Computing Architecture
- Livre broché
- Neuf

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Vendeur AbeBooks depuis 14 août 2006
Etat: Neuf
EUR 52,47
Quantité disponible : 2 disponibles
Ajouter au panierA propos de cet article
Neuware.
N° de réf. du vendeur 9798176323733
- Titre
- Foundations of Electronic Design Automation Volume Two : From Physics to Implementation
- Auteur
- Gareth Thomas
- Éditeur
- Amazon Digital Services LLC - Kdp Sep 2026
- Année de publication
- 2026
- État de l'article
- Neu
- Reliure
- Taschenbuch
- Langue
- anglais
- ISBN à 13 chiffres
- 9798176323733
- Poids de l'article
- 830 grammes
- Dimensions
- 279x216x19 mm
- Série
- Livre 1 sur 4: Modern Semiconductor Design and Computing Architecture
Getting RTL to compile is easy. Getting a design through verification, synthesis, timing closure, physical implementation and signoff is where electronic design becomes engineering.
Foundations of Electronic Design Automation: From Physics to Implementation — Volume 2 moves directly into that territory.
This volume begins with the languages, models and verification systems used to express complex hardware—and follows those representations all the way through synthesis, timing analysis, physical design and the modern automated EDA workflow.
The objective is not to teach isolated commands.
It is to show how an electronic design becomes trustworthy silicon.
You will work through VHDL and the IEEE 1076 model of strongly typed concurrent hardware description, then move into GHDL and open-source simulation and synthesis workflows. Property Specification Language introduces temporal properties and assertion-based verification. SystemC extends the design space into transaction-level modelling, executable architecture and high-level synthesis.
From there, the book moves deeper into the machinery of EDA itself.
C++ is examined as a language for hardware models, simulation infrastructure and high-performance design tools. Chisel, FIRRTL and Clash demonstrate how modern programming-language concepts can generate and transform hardware while maintaining structural and type-level guarantees.
Then the focus shifts from describing hardware to turning it into an implementation that can actually close.
Volume 2 covers:
• VHDL design, synthesis and testbench methodology
• GHDL simulation and GHDL–Yosys workflows
• PSL temporal logic and formal properties
• SystemC and transaction-level modelling
• Modern C++ for EDA engineering
• Verilator and HDL/software integration
• Chisel, FIRRTL and hardware generation
• Clash and type-driven hardware design
• Boolean optimisation and logic synthesis
• Technology mapping and FPGA synthesis
• Static timing analysis
• Setup, hold, delay modelling and timing constraints
• Multi-mode multi-corner timing closure
• Functional, assertion-based and formal verification
• Hardware/software co-verification
• Floorplanning and placement
• Clock-tree synthesis and routing
Every EDA stage is a transformation—and every transformation can lose information, introduce assumptions or hide a failure.
A clean simulation does not prove synthesizability.
A synthesized netlist does not prove timing closure.
Timing closure does not prove manufacturability.
And an AI-generated design that looks convincing does not prove anything until it has passed the same verification discipline demanded of human-written hardware.
Volume 2 therefore concentrates on the evidence required at each stage: assertions, coverage, equivalence, constraints, timing reports, extracted parasitics, design-rule checks, reproducible automation and final signoff.
You will learn not merely how to operate an EDA flow, but how to interrogate it.
What changed? What assumption was introduced? What constraint governs the result? What evidence proves that the implementation still satisfies the original intent?
Those questions separate tool users from engineers capable of diagnosing failures across an entire chip-design flow.
For readers working in digital design, FPGA development, ASIC engineering, verification, physical design, EDA software or AI-assisted semiconductor design, Volume 2 takes the journey from hardware representation to implementation, verification and signoff.
Because ultimately, silicon does not care whether the RTL looked elegant.
It either works—or it does not.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
AHA-BUCH GmbH
Einbeck, Allemagne
Vendeur AbeBooks depuis 14 août 2006
Frais d'expédition de Allemagne vers Etats-Unis
| Article | 7 à 10 jours ouvrés | 5 à 7 jours ouvrés |
|---|---|---|
| Premier article | EUR 35,00 | EUR 45,00 |
Modes de paiement
- Chèque
- Paypal
- Virement bancaire
Description de la boutique
Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.
Spécialité
Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & StudiumProfil professionnel du vendeur
AHA-BUCH GmbH
Garlebsen 48
Einbeck, Allemagne 37574
Empreinte
Informations sur le vendeur:
AHA-BUCH GmbH
représenté par le directeur général Christel Glass
Garlebsen 48
37574 Einbeck
Alemagne
Téléphone: 055639996039
Fax: 055639995974
E-Mail: abebooks@aha-buch.de
USt-IdNr.: DE261904229
inscrit à Registre du commerce Amtsgerichtes Göttingen
Handelsregisternummer HRB 200691
Modes alternatifs de règlement des différends :
La Commission européenne fournit une plate-forme de règlement extrajudiciaire des litiges en ligne (plate-forme ODR), accessible sous https://ec.europa.eu/odr.
Nous sommes membres de l’initiative « FairCommerce » depuis le 25.05.2018.
Pour plus d’informations, voir www.fair-commerce.de.
Conditions de vente
Conditions générales et informations client
I. Conditions générales
§ 1 Dispositions de base
(1) Les conditions générales suivantes s’appliquent à tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l’inclusion de l’une de vos propres conditions générales que vous utilisez sera contestée
(2) Un consommateur au sens des règlements suivants est toute personne physique qui conclut une transaction juridique à des fins qui ne peuvent être attribuées principalement ni à son activité commerciale ni à son activité professionnelle indépendante. Un entrepreneur est toute personne physique ou morale ou une société de personnes ayant la capacité juridique qui, lors de la conclusion d’une transaction juridique, agit dans l’exercice de son activité professionnelle ou commerciale indépendante.
§ 2 Conclusion du contrat
(1) L’objet du contrat est la vente de marchandises.
(2) Si un article est répertorié par nous sur AbeBooks ou ZVAB, l’activation de la page d’offre sur AbeBooks ou ZVAB constitue l’offre ferme de conclure un contrat dans les conditions contenues dans la page de l’article.
(3) Le contrat est conclu via le système de panier d’achat en ligne comme suit:
Les marchandises destinées à l’achat sont stockées dans le « panier ». Via le bouton correspondant dans la barre de navigation, vous pouvez appeler le « panier » et y apporter des modifications à tout moment. Après avoir appelé la page « Commander » et entré les données personnelles ainsi que les conditions de paiement et d’expédition, toutes les données de commande seront à nouveau affichées sur la page d’aperçu de la commande. Avant d’envoyer la commande, vous avez la possibilité de vérifier à nouveau toutes les informations, de les modifier (également via la fonction « retour » du navigateur Internet) ou d’annuler l’achat. En soumettant la commande via le bouton « Acheter maintenant », vous déclarez l’acceptation de l’offre de manière juridiquement contraignante, par laquelle le contrat est conclu.
(4) Le traitement de la commande et la transmission de toutes les informations nécessaires à la conclusion du contrat sont partiellement automatisés par e-mail. Vous devez donc vous assurer que l’adresse e-mail que vous avez stockée chez nous est correcte, que la réception des e-mails est techniquement assurée et, en particulier, que les filtres anti-spam ne l’empêchent pas.
§ 3 Droit de réserve, réserve de propriété
(1) Vous ne pouvez exercer un droit de rétention que s’il s’agit de réclamations découlant de la même relation contractuelle.
(2) Les marchandises restent notre propriété jusqu’au paiement intégral du prix d’achat.
§ 4 Garantie
(1) Les droits de garantie légaux existent.
(2) Dans le cas de marchandises d’occasion, la période de garantie est d’un an à compter de la livraison de l’article, s’écartant de la réglementation légale. Le raccourcissement du délai ne s’applique pas :
- les dommages causés de manière fautive qui nous sont imputables par une atteinte à la vie, à l’intégrité physique ou à la santé et, dans le cas d’autres dommages causés intentionnellement ou par négligence grave;
- dans la mesure où nous avons dissimulé frauduleusement le défaut ou assumé une garantie pour la qualité de l’article.
(3) En tant que consommateur, il vous est demandé de vérifier l’article immédiatement après la livraison pour l’exhaustivité, les défauts évidents et les dommages de transport et de nous informer, ainsi que le transitaire, de toute réclamation dès que possible. Si vous ne vous y conformez pas, cela n’aura aucun effet sur vos demandes de garantie légales.
§ 5 Choix de la loi, lieu d’exécution, for
- Le droit allemand s’applique. Dans le cas des consommateurs, ce choix de loi ne s’applique que dans la mesure où il ne retire pas la protection offerte par les dispositions impératives de la loi de l’État de résidence habituelle du consommateur (principe de faveur).
(2) Le lieu d’exécution de tous les services découlant des relations commerciales existantes avec nous ainsi que le lieu de juridiction est notre siège social, dans la mesure où vous n’êtes pas un consommateur, mais un commerçant, une personne morale de droit public ou un fonds spécial de droit public. Il en va de même si vous n’avez pas de for général en Allemagne ou dans l’UE ou si le domicile ou la résidence habituelle n’est pas connu au moment de l’introduction de l’action. Le droit de faire appel devant le tribunal d’un autre lieu de juridiction légal n’en est pas affecté.
(3) Les dispositions de la Convention des Nations Unies sur les contrats de vente internationale de marchandises ne s’appliquent expressément pas.
- Identité du Vendeur
AHA-BUCH GmbH
Garlebsen 48
D-37574 Einbeck
Allemagne
Téléphone: 055639996039
Courriel : abebooks@aha-buch.de
Modes alternatifs de règlement des différends :
La Commission européenne fournit une plate-forme de règlement extrajudiciaire des litiges en ligne (plate-forme ODR), accessible sous https://ec.europa.eu/odr.
- Informations sur la conclusion du contrat
Les étapes techniques pour la conclusion du contrat, la conclusion du contrat lui-même et les options de correction sont effectuées conformément aux dispositions « Conclusion du contrat » de nos conditions générales (partie I.).
- Langue du contrat, stockage du texte du contrat
3.1. La langue du contrat est l’allemand.
3.2. Le texte complet du contrat ne sera pas stocké par nous. Avant l’envoi de la commande, les données du contrat peuvent être imprimées ou enregistrées électroniquement via la fonction d’impression du navigateur. Après réception de la commande par nous, les données de commande, les informations légalement prescrites pour les contrats à distance et les conditions générales vous seront envoyées à nouveau par e-mail.
- Caractéristiques essentielles des produits ou des services
Les caractéristiques essentielles des biens et/ou services peuvent être trouvées dans l’offre respective.
- Prix et conditions de paiement
5.1. Les prix indiqués dans les offres respectives ainsi que les frais d’expédition représentent les prix totaux. Ils comprennent tous les éléments de prix, y compris toutes les taxes applicables.
5.2. Les frais d’expédition encourus ne sont pas inclus dans le prix d’achat. Ils peuvent être appelés via un bouton correspondant sur notre site Web ou dans l’offre respective, sont affichés séparément au cours du processus de commande et sont à votre charge en plus, sauf si la livraison gratuite a été promise.
5.3. Si la livraison est effectuée dans des pays en dehors de l’Union européenne, nous pouvons encourir des coûts supplémentaires dont nous ne sommes pas responsables, tels que des droits de douane, des taxes ou des frais de transfert d’argent (frais de transfert ou de change des établissements de crédit), qui sont à votre charge. Tous les frais encourus pour le transfert d’argent seront également à votre charge dans les cas où la livraison est effectuée dans un État membre de l’UE, mais que le paiement a été initié en dehors de l’Union européenne.
5.4. Les modes de paiement à votre disposition sont indiqués sous un bouton correspondant sur notre site Web ou dans l’offre correspondante.
5.5. Sauf indication contraire pour les différents modes de paiement, les demandes de paiement du contrat conclu sont immédiatement exigibles.
- Conditions de livraison
6.1. Les conditions de livraison, la date de livraison et, le cas échéant, les restrictions de livraison existantes peuvent être trouvées sous un bouton correspondant sur notre site Web ou dans l’offre respective.
Dans la mesure où aucun autre délai n’est spécifié dans l’offre respective ou sous le bouton correspondant, la livraison des marchandises aura lieu dans les 3 à 5 jours suivant la conclusion du contrat (dans le cas d’un paiement anticipé convenu, cependant, uniquement après le moment de votre instruction de paiement).
6.2. Dans la mesure où vous êtes un consommateur, il est réglementé par la loi que le risque de perte accidentelle et de détérioration accidentelle de l’article vendu lors de l’expédition ne vous est transféré qu’à la remise des marchandises, que l’envoi soit assuré ou non assuré. Cela ne s’applique pas si vous avez mandaté de manière indépendante une entreprise de transport non nommée par l’entrepreneur ou une personne autrement désignée pour effectuer l’expédition.
- Responsabilité légale pour les défauts
La responsabilité pour les défauts est régie par la disposition « Garantie » de nos Conditions Générales (Partie I).
dernière mise à jour : 07/12/2017
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à AHA-BUCH GmbH, Einbeck, Germany, sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.
Conditions d'expédition
Nous expédions votre commande après les avoir reçues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas où nous devons commander un article auprès de notre fournisseur, notre délai d’expédition dépend de la date de réception des articles, mais les articles seront expédiés le jour même.
Notre objectif est d’envoyer les articles commandés de la manière la plus rapide, mais aussi la plus efficace et la plus sécurisée à nos clients.
Confidentialité et sécurité
Politique de confidentialité
Sauf indication contraire ci-dessous, la fourniture de vos données personnelles n’est ni requise par la loi ou le contrat, ni nécessaire à la conclusion d’un contrat. Vous n’êtes pas obligé de fournir les données. Ne pas fournir cela n’aura aucune conséquence. Cela ne s’applique que si aucune autre information n’est fournie dans les opérations de traitement ultérieures. « Données personnelles » désigne toute information relative à une personne physique identifiée ou identifiable.
Collecte, traitement et utilisation des données personnelles pour les commandes Lors de la commande, nous collectons et utilisons vos données personnelles uniquement dans la mesure nécessaire à l’exécution et au traitement de votre commande et au traitement de vos demandes. La fourniture des données est nécessaire à la conclusion du contrat. Le défaut de fournir cette disposition signifie qu’aucun contrat ne peut être conclu. Le traitement est effectué sur la base de l’article 6, paragraphe 1, point b) du RGPD et est nécessaire à l’exécution d’un contrat avec vous. Vos données ne seront pas transmises à des tiers sans votre consentement exprès. Seuls nos partenaires de service, dont nous avons besoin pour traiter la relation contractuelle ou les prestataires de services que nous utilisons dans le cadre du traitement des commandes, en sont exclus. Outre les destinataires nommés dans les clauses respectives de la présente déclaration de protection des données, il s’agit, par exemple, des destinataires des catégories suivantes: prestataires de services d’expédition, prestataires de services de paiement, prestataires de services de gestion des marchandises, prestataires de services de traitement des commandes, hébergeurs Web, fournisseurs de services informatiques et marchands dropshipping. Dans tous les cas, nous respectons strictement les exigences légales. La portée de la transmission des données est limitée au minimum.
Durée de stockage
Après l’achèvement du contrat, les données seront d’abord stockées pendant la durée de la période de garantie, puis en tenant compte des délais de conservation légaux, en particulier fiscaux et commerciaux, puis supprimées après l’expiration de la période, sauf si vous avez consenti à un traitement et à une utilisation ultérieurs.
Droits de la personne concernée
Si les exigences légales sont remplies, vous disposez des droits suivants en vertu des articles 15 à 20 du RGPD : Droit à l’information, à la rectification, à l’effacement, à la limitation du traitement, à la portabilité des données.
En outre, conformément à l’article 21, paragraphe 1, du RGPD, vous avez le droit de vous opposer au traitement basé sur l’article 6, paragraphe 1, point f du RGPD et au traitement à des fins de marketing direct.
Contactez-nous sur demande. Les coordonnées se trouvent dans nos mentions légales.
Droit d’introduire une réclamation auprès de l’autorité de contrôle
Conformément à l’article 77 du RGPD, vous avez le droit de déposer une plainte auprès de l’autorité de contrôle si vous estimez que le traitement de vos données personnelles n’est pas légal.
dernière mise à jour : 25/04/2018