Mechanized reasoning and hardware design /

VLIW microprocessor hardware design : for ASIC and FPGA /
by: Lee, Weng Fook
Published: (2008)

Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977.
Published: (1977)

Hardware-software co-design of embedded systems : the POLIS approach /
Published: (1997)

Design of high-performance microprocessor circuits /
Published: (2001)

Embedded systems design using the TI MSP430 series /
by: Nagy, Chris
Published: (2003)

Embedded systems design using the TI MSP430 series /
by: Nagy, Chris
Published: (2003)

Embedded systems design using the TI MSP430 series /
by: Nagy, Chris
Published: (2003)

Digital logic and microprocessor design with VHDL /
by: Hwang, Enoch O.
Published: (2006)

Embedded systems design using the Rabbit 3000 microprocessor : interfacing, networking, and application design /
by: Hyder, Kamal
Published: (2005)

CAD accelerators : proceedings of the International Workshop on Hardware Accelerators for CAD, Oxford University, September 20-21, 1989 /
Published: (1991)

Z80 programming for logic design /
Published: (1978)

VLSI chip design with the hardware description language VERILOG : an introduction based on a large RISC processor design /
by: Golze, Ulrich, 1948-
Published: (1996)

Microprocessor applications in business and industry /
by: Whitbread, Martin
Published: (1979)

Microprocessor design : a practical guide from design planning to manufacturing /
by: McFarland, Grant
Published: (2006)

Modeling embedded systems and SoCs : concurrency and time in models of computation /
by: Jantsch, Axel
Published: (2004)

The art of micro design /
by: Berk, A. A.
Published: (1984)

CPU design : answers to frequently asked questions /
by: Thimmannagari, Chandra M. R. (Chandra Mohan Reddy), 1969-
Published: (2005)

Modeling embedded systems and SoC's : concurrency and time in models of computation /
by: Jantsch, Axel
Published: (2004)

Architecture and CAD for deep-submicron FPGAs /
by: Betz, Vaughn
Published: (1999)

Embedded controller hardware design /
by: Arnold, Ken, 1958-
Published: (2001)

Microprocessor system design : a practical introduction /
by: Spinks, Michael J.
Published: (1992)

Dedicated digital processors : methods in hardware/software system design /
by: Mayer-Lindenberg, F.
Published: (2004)

Computer-aided design techniques for low power sequential logic circuits /
by: Monteiro, José, 1966-
Published: (1997)

Simplified design of microprocessor-supervisory circuits /
by: Lenk, John D.
Published: (1998)

A structural approach to the photonic processor /
by: Jackson, Deborah
Published: (1991)

Designing embedded systems with PIC microcontrollers : principles and applications /
by: Wilmshurst, Tim
Published: (2007)

Designing embedded systems with PIC microcontrollers : principles and applications /
by: Wilmshurst, Tim
Published: (2010)

Designing embedded systems with PIC microcontrollers : principles and applications /
by: Wilmshurst, Tim
Published: (2007)

Designing embedded systems with PIC microcontrollers : principles and applications /
by: Wilmshurst, Tim
Published: (2010)

Embedded controller hardware design /
by: Arnold, Ken, 1958-
Published: (2001)

Bit slice design : controllers and ALU's /
by: White, Donnamaie E., 1942-
Published: (1981)

Energy efficient microprocessor design /
by: Burd, Thomas D.
Published: (2002)

Bit-slice microprocessor design /
by: Mick, John
Published: (1980)

16-bit microprocessor systems /
by: Cannon, Don L.
Published: (1982)

Surviving the design of microprocessor and multimicroprocessor systems : lessons learned /
by: Milutinović, Veljko
Published: (2000)

Logic synthesis and optimization /
Published: (1993)