Principles of Verifiable Rtl Design:; a functional coding style supporting verification processes in Verilog
Sprache: Englisch
Verlag: Kluwer Academic Publishers, Norwell, Mass, 2000
- Erstausgabe
- Hardcover
- Gebraucht
Anbieter: BIBLIOPE by Calvello Books, Oakland, CA, USABIBLIOPE by Calvello Books
AbeBooks-Verkäufer/-in seit 19. März 1998
Zustand: Gebraucht
EUR 15,99
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung vom Verkäufer
Purple octavo; xvii, 253 p, b&w illus; 24 cm. Contents: Register Transfer Level --; What is It? --; Verifiable RTL --; Applying Design Discipline --; The Verification Process --; Specification Design Decomposition --; High-Level Design Requirements --; Block-Level Specification and Design --; RTL Implementation --; Synthesis and Physical Design --; Functional Test Strategies --; Deterministic or Directed Test --; Random Test --; Transaction Analyzer Verification --; Chip Initialization Verification --; Synthesizable Testbench --; Transformation Test Strategies --; Coverage, Events and Assertions --; Coverage --; Ad-hoc Metrics --; Programming Code Metrics --; State Machine and Arc Coverage Metrics --; User Defined Metrics --; Fault Coverage Metrics --; Regression Analysis and Test Suite Optimization --; Event Monitors and Assertion Checkers --; Events --; Assertions --; Assertion Monitor Library Details --; Event Monitor and Assertion Checker Methodology --; Linting Strategy --; Implementation Considerations --; Event Monitor Database and Analysis --; RTL Methodology Basics --; Simple RTL Verifiable Subset --; Linting --; Linting in a design project --; Lint description --; Project Oriented --; Linting Message Examples --; Object-Based Hardware Design --; OBHD and Simulation --; OBHD and Formal Verification --; OBHD and Physical Design --; OBHD Synthesis --; OBHD Scan Chain Hookup --; A Text Macro Implementation --; RTL Logic Simulation --; Simulation History --; First Steps --; X, Z and Other States --; Function and Timing --; Gate to RTL Migration --; Acceleration and Emulation --; Language Standardization. Integrated circuits -- Very large scale integration -- Computer-aided design. Faint rubbed fold to spine head & foot & folds, barely rubbed corners, else near fine(+). First edition (presumed; no earlier dates stated). …
Bestandsnummer des Verkäufers 23856
- Titel
- Principles of Verifiable Rtl Design:; a functional coding style supporting verification processes in Verilog
- Autor
- Bening, Lionel; Foster, Harry
- Verlag
- Kluwer Academic Publishers, Norwell, Mass
- Veröffentlichungsjahr
- 2000
- Zustand
- near fine(+)
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 0792377885
- ISBN-13
- 9780792377887
- Ausgabe
- 1. Auflage
- Verkäuferkataloge
- Science, Technology & Computers
The intended audience for Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog is engineers and students who need an introduction to various design verification processes and a supporting functional Verilog RTL coding style. A second intended audience is engineers who have been through introductory training in Verilog and now want to develop good RTL writing practices for verification. A third audience is Verilog language instructors who are using a general text on Verilog as the course textbook but want to enrich their lectures with an emphasis on verification. A fourth audience is engineers with substantial Verilog experience who want to improve their Verilog practice to work better with RTL Verilog verification tools. A fifth audience is design consultants searching for proven verification-centric methodologies. A sixth audience is EDA verification tool implementers who want some suggestions about a minimal Verilog verification subset.
Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog is based on the reality that comes from actual large-scale product design process and tool experience.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
BIBLIOPE by Calvello Books
Oakland, CA, USA
AbeBooks-Verkäufer/-in seit 19. März 1998
Versandkosten innerhalb von USA
| Artikel | 5 bis 14 Werktage | 3 bis 6 Werktage |
|---|---|---|
| Erster Artikel | EUR 4,30 | EUR 8,63 |
Zahlungsarten
- Bankeinzug
- Banküberweisung
- Bar
- Lastschrift
- PayPal
- Rechnung
- Vorauskasse
- Zahlungsanweisung
Shop-Beschreibung
Please visit us at Bibliope.com. You will be price-pleased! I have been buying & selling used and rare books since 1987, and selling on ABE since 1997. Your orders are very well-packed, and ship from Oakland, California, via the United Stated Postal Service, or UPS, and usually within 1-2 business days. We are mail-order only.
Spezialisierung
Travel, Culture & Historiography, Science & Technology, Nature & Environment, Latin America & the New World, Material Culture, Non-Fiction, Scholarly, Spanish & Other Languages, Oceania, Small Press & Foreign ImprintsUnternehmensdaten der Verkäuferin bzw. des Verkäufers
BIBLIOPE by Calvello Books
CA, USA
Verkaufsbedingungen
Books may be placed on reserve for one week. We pack all orders ourselves and, with nearly thirty years in the trade, strive to describe our books as accurately as possible. Refunds may be issued if an item is not as described and is returned in same condition as originally shipped. We accept most major credit cards, checks, money orders, Zelle. We also accept CashApp, Venmo and Paypal. For Paypal, additional nominal fees of approximately 2.5% may apply in order to cover Paypal's 5% commission.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an BIBLIOPE by Calvello Books, Oakland, California, U.S.A., zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Orders usually ship within 2-3 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over-sized, we may contact you to let you know that extra shipping is required. See SHIPPING TERMS above. www.calvellobooks.com