fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Assertion-based design

Assertion-based design

by Harry Foster, Harry D. Foster, Adam C. Krolnik

2003Integrated circuitsVery large scale integrationVerificationVerilog (Computer hardware description language)Design and construction
0.0
Open Library
Open Library

Themes & subjects

Integrated circuitsVery large scale integrationVerificationVerilog (Computer hardware description language)Design and constructionGeneral Theory of Computing
First published 2003

About the author

Harry Foster

1956

Authors

Harry Foster, Harry D. Foster, Adam C. Krolnik

First published

2003

Pages

390

Read time

≈ 10h

Editions

6

Language

English

Publisher

Springer

ISBN

9781441992291

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

ESD

Electric discharges · Electronic apparatus and appliances

ESD

Steven H. Voldman

2005

Science in a Technical World

Laboratory manuals · Plant tissue culture

Science in a Technical World

American Chemical Society

1999

Circuiti per la microelettronica

Electronic circuits · Integrated circuits

Circuiti per la microelettronica

Adel S. Sedra

1982

Physics and Technology of Crystalline Oxide Semiconductor CAAC-IGZO

Semiconductors · Gallium

Physics and Technology of Crystalline Oxide Semiconductor CAAC-IGZO

Noboru Kimizuka

2016

Vlsi Electronics

Microfabrication · VLSI

Vlsi Electronics

Norman G. Einspruch

1981

Halbleiter-Schaltungstechnik

Digital electronics · Integrated circuits

Halbleiter-Schaltungstechnik

U. Tietze

1969

System Integration

Integrated circuits · Systems on a chip

System Integration

Kurt Hoffmann

2003

Pragmatic Circuits

Spectrum analysis · Fourier transformations

Pragmatic Circuits

William J. Eccles

2006

Design with operational amplifiers and analog integrated circuits

Operational amplifiers · Linear integrated circuits

Design with operational amplifiers and analog integrated circuits

Sergio Franco

1988

Microchip fabrication

Design and construction · Semiconductors

Microchip fabrication

Peter Van Zant

1984

Grounds for Grounding

Electronic circuits · Electric currents

Grounds for Grounding

Elya B. Joffe

2008

PSPICE and MATLAB for electronics

Very large scale integration · PSpice

PSPICE and MATLAB for electronics

John Okyere Attia

2002

Integrated circuit quality and reliability

Reliability · Integrated circuits

Integrated circuit quality and reliability

Hnatek, Eugene R.

1987

Advanced model order reduction techniques in VLSI design

Very large scale integration · Design

Advanced model order reduction techniques in VLSI design

Lei He

2007

A designer's guide to asynchronous VLSI

Very large scale integration · Computer-aided design

A designer's guide to asynchronous VLSI

Peter A. Beerel

2010

Technology Computer Aided Design

Integrated circuits, very large scale integration · Metal oxide semiconductors

Technology Computer Aided Design

Chandan Kumar Sarkar

2013

Principles of verifiable RTL design

Computer-aided design · Electronic digital computers

Principles of verifiable RTL design

Lionel Bening

2000

Vlsi Electronics: Microstructure Science

Very large scale integration · Integrated circuits

Vlsi Electronics: Microstructure Science

Norman G. Einspruch

1984