Hybrid parallel execution model for logic-based specification languages

QR Code

Hybrid parallel execution model for logic-based specification languages

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Tsai, Jeffrey J.-P
Corporate Author:	ebrary, Inc
Other Authors:	Li, Bing, 1960-
Format:	Electronic eBook
Language:	English
Published:	Singapore ; New Jersey : World Scientific, c2001.
Series:	Series on software engineering and knowledge engineering ; v. 10.
Subjects:	Computer hardware description languages. System design. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid parallel execution model for logic-based specification languages
by: Tsai, Jeffrey J.-P
Published: (2001)

VHDL for logic synthesis
by: Rushton, Andrew
Published: (2011)

VHDL for logic synthesis
by: Rushton, Andrew
Published: (2011)

Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
by: Lee, James M., 1962-
Published: (2002)

VHDL-2008 just the new stuff /
by: Ashenden, Peter J.
Published: (2008)

VHDL-2008 just the new stuff /
by: Ashenden, Peter J.
Published: (2008)

Verilog Quickstart a practical guide to simulation and synthesis in Verilog /
by: Lee, James M., 1962-
Published: (2002)

Architectures for computer vision : from algorithm to chip with Verilog /
by: Jeong, Hong
Published: (2014)

Architectures for computer vision : from algorithm to chip with Verilog /
by: Jeong, Hong
Published: (2014)

FSM-based digital design using Verilog HDL
by: Minns, Peter D.
Published: (2008)

FSM-based digital design using Verilog HDL
by: Minns, Peter D.
Published: (2008)

Computer principles and design in Verilog HDL /
by: Li, Yamin
Published: (2015)

Computer principles and design in Verilog HDL /
by: Li, Yamin
Published: (2015)

Digital design an embedded systems approach using VHDL /
by: Ashenden, Peter J.
Published: (2008)

Digital design an embedded systems approach using Verilog /
by: Ashenden, Peter J.
Published: (2008)

Digital design an embedded systems approach using VHDL /
by: Ashenden, Peter J.
Published: (2008)

Digital design an embedded systems approach using Verilog /
by: Ashenden, Peter J.
Published: (2008)

Fundamentals of digital logic : with VHDL design /
by: Brown, Stephen
Published: (2009)

Fundamentals of digital logic : with VHDL design /
by: Brown, Stephen
Published: (2009)

FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
by: Chu, Pong P., 1959-
Published: (2008)

FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
by: Chu, Pong P., 1959-
Published: (2008)

FPGA prototyping by Verilog examples Xilinx Spartan -3 version /
by: Chu, Pong P., 1959-
Published: (2008)

FPGA prototyping by VHDL examples Xilinx Spartan-3 version /
by: Chu, Pong P., 1959-
Published: (2008)

Embedded SoPC design with NIOS II processor and Verilog examples
by: Chu, Pong P., 1959-
Published: (2012)

Embedded SoPC design with NIOS II processor and Verilog examples
by: Chu, Pong P., 1959-
Published: (2012)

The designer's guide to VHDL
by: Ashenden, Peter J.
Published: (2008)

The designer's guide to VHDL
by: Ashenden, Peter J.
Published: (2008)

Embedded SOPC design with NIOS II processor and VHDL examples
by: Chu, Pong P., 1959-
Published: (2011)

Embedded SOPC design with NIOS II processor and VHDL examples
by: Chu, Pong P., 1959-
Published: (2011)

Introduction to digital systems modeling, synthesis, and simulation using VHDL /
by: Ferdjallah, Mohammed
Published: (2011)

Introduction to digital systems modeling, synthesis, and simulation using VHDL /
by: Ferdjallah, Mohammed
Published: (2011)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)

Model engineering in mixed-signal circuit design a guide to generating accurate behavioral models in VHDL-AMS /
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)

Design rules
by: Baldwin, Carliss Y. (Carliss Young)
Published: (2000)

Design rules
by: Baldwin, Carliss Y. (Carliss Young)
Published: (2000)

Scheduling of large-scale virtualized infrastructures : toward cooperative management /
by: Quesnel, Flavien
Published: (2014)

Scheduling of large-scale virtualized infrastructures : toward cooperative management /
by: Quesnel, Flavien
Published: (2014)

Description logic rules /
by: Krötzsch, Markus
Published: (2010)

Description logic rules /
by: Krötzsch, Markus
Published: (2010)

Proceedings of the 11th Joint International Computer Conference JICC 2005, Chongqing, China, 10-12 November 2005 /
Published: (2005)