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

2003Circuits & componentsGeneral Theory of ComputingVerilog (Computer hardware desEngineering - Electrical & ElectronicComputers - General Information
0.0
Open Library
Open Library

Themes & subjects

Circuits & componentsGeneral Theory of ComputingVerilog (Computer hardware desEngineering - Electrical & ElectronicComputers - General InformationVery large scale integration
First published 2003

Authors

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

First published

2003

Pages

392

Read time

≈ 10h

Editions

2

Language

English

Publisher

Springer

ISBN

9781402074981

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

Introduction to electric circuits

Circuits électriques · Electric circuits

Introduction to electric circuits

Herbert W. Jackson

1959

Electric machines

Alternating current Electric motors · Dynamics

Electric machines

S. A. Nasar

1990

Halbleiter-Schaltungstechnik

Digital electronics · Integrated circuits

Halbleiter-Schaltungstechnik

U. Tietze

1969

Power electronics

Power semiconductors · Electric current converters

Power electronics

Ned Mohan

1989

Circuit analysis

Electric circuit analysis · Circuits & components

Circuit analysis

Allan Robbins

1995

Analog BiCMOS design

Bipolar integrated circuits · Complementary Metal oxide semiconductors

Analog BiCMOS design

James C. Daly

1999

Introduction to Logic Circuits & Logic Design with Verilog

Logic circuits · Electronic circuit design

Introduction to Logic Circuits & Logic Design with Verilog

Brock J. LaMeres

2017

Timing optimization through clock skew scheduling

Design and construction · Very large scale integration

Timing optimization through clock skew scheduling

Ivan S. Kourtev

2000

Foundations of electronics, circuits and devices

Electronics · Circuits & components

Foundations of electronics, circuits and devices

Russell L. Meade

1994

Semiconductor equations

Mathematical models · Semiconductors

Semiconductor equations

Peter A. Markowich

1990

Digital filters and signal processing in electronic engineering

Digital Electric filters · Digital techniques

Digital filters and signal processing in electronic engineering

S. M. Bozic

1998

Switch-level timing simulation of MOS VLSI circuits

Very large scale integration · Computer simulation

Switch-level timing simulation of MOS VLSI circuits

Vasant B. Rao

1988

Transistors

Bipolar transistors · Metal oxide semiconductor field-effect transistors

Transistors

R. M. Warner

1983

Computer Concepts

Amateurs' manuals · Computer input-output equipment

Computer Concepts

June Jamrich Parsons

1996

Operating System Concepts

Operating systems (Computers) · Entwurf

Operating System Concepts

Abraham Silberschatz

1988

Invitation to Computer Science

Computer science · Java (Computer program language)

Invitation to Computer Science

G. Michael Schneider

1995

Computer science

Computer science · Electronic digital computers

Computer science

J. Glenn Brookshear

1985

New perspectives on computer concepts

Electronic digital computers · Electronic data processing

New perspectives on computer concepts

June Jamrich Parsons

1994