Narrow your search

Library

ULiège (53)

KU Leuven (50)

ULB (38)

Odisee (32)

Thomas More Kempen (32)

Thomas More Mechelen (32)

UCLL (32)

VIVES (32)

UGent (23)

LUCA School of Arts (16)

More...

Resource type

book (74)

periodical (1)


Language

English (75)


Year
From To Submit

2023 (1)

2022 (3)

2021 (2)

2020 (2)

2019 (2)

More...
Listing 1 - 10 of 75 << page
of 8
>>
Sort by

Book
IEEE STD 1800-2009 : IEEE standard for SystemVerilog--unified hardware design, specification, and verification language
Author:
ISBN: 0738161306 Year: 2009 Publisher: New York, New York : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This standard represents a merger of two previous standards: IEEE Std 1364¿-2005 Verilog hardware description language (HDL) and IEEE Std 1800-2005 SystemVerilog unified hardware design, specification, and verification language. The 2005 SystemVerilog standard defines extensions to the 2005 Verilog standard. These two standards were designed to be used as one language. Merging the base Verilog language and the SystemVerilog extensions into a single standard provides users with all information regarding syntax and semantics in a single document.


Book
IEEE Std 1800-2012 (Revision of IEEE Std 1800-2009) : IEEE standard for SystemVerilog--unified hardware design, specification, and verification language
Author:
ISBN: 0738181102 Year: 2013 Publisher: Piscataway, New Jersey : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The definition of the language syntax and semantics for SystemVerilog, which is a unified hardware design, specification, and verification language, is provided. This standard includes support for modeling hardware at the behavioral, register transfer level (RTL), and gate-level abstraction levels, and for writing testbenches using coverage, assertions, object-oriented programming, and constrained random verification. The standard also provides application programming interfaces (APIs) to foreign programming languages.


Book
The Verilog hardware description language
Authors: ---
ISBN: 9780792397236 0792397231 Year: 1996 Publisher: Boston: Kluwer,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Proceedings, 1996 IEEE International Verilog HDL Conference : February 26-28, 1996, Santa Clara, California
Author:
Year: 1996 Publisher: Los Alamitos, CA : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Sixteen proceeding papers sharing information and experiences in innovative uses, new technologies, anticipated developments, methodologies, IEEE standardizations and OVI-TSC activities. Some of the subjects addressed include: an architecture for a Verilog hardware accelerator, description language.


Book
Verilog HDL Conference, 1995 IEEE International
Author:
Year: 1995 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

The International Verilog HDL Conference is a conference for designers, ASIC vendors, CAD tool developers, university students, and researchers. It provides an international forum for exchanging information about Verilog HDL, the language itself and its use, and the design methodologies that have been developed for different design and support environments. The proceedings of IVC-95 comprise five technical sessions: verification/simulation, topdown design methodology, designs, debugging, and modeling. No index. Annotation copyright by Book News, Inc., Portland, OR.


Book
Verilog HDL Conference, 1994
Author:
Year: 1994 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Proceedings of a conference held in Santa Clara, California, March 1994. Papers are divided into sessions on language and compilation, simulation, applications, designs and methodologies, and modeling applications. Topics discussed include Verilog Netlist as an exchange language, optimizing compiled Verilog, fully specified verification simulation, finite state machine trace analysis program, timing modeling of datapath layout for synthesis, and Verilog simulation of Xilinx designs. No index. Annotation copyright by Book News, Inc., Portland, OR.


Book
1997 IEEE International Verilog HDL Conference : proceedings : March 31-April 3, 1997, Santa Clara, California
Authors: --- ---
Year: 1997 Publisher: Los Alamitos, California : IEEE Computer Society,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Verilog HDL Conference, 1995 IEEE International
Author:
Year: 1995 Publisher: [Place of publication not identified] IEEE Computer Society Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

The International Verilog HDL Conference is a conference for designers, ASIC vendors, CAD tool developers, university students, and researchers. It provides an international forum for exchanging information about Verilog HDL, the language itself and its use, and the design methodologies that have been developed for different design and support environments. The proceedings of IVC-95 comprise five technical sessions: verification/simulation, topdown design methodology, designs, debugging, and modeling. No index. Annotation copyright by Book News, Inc., Portland, OR.


Book
Proceedings, 1996 IEEE International Verilog HDL Conference : February 26-28, 1996, Santa Clara, California
Author:
Year: 1996 Publisher: Los Alamitos, CA : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Sixteen proceeding papers sharing information and experiences in innovative uses, new technologies, anticipated developments, methodologies, IEEE standardizations and OVI-TSC activities. Some of the subjects addressed include: an architecture for a Verilog hardware accelerator, description language.


Book
1997 IEEE International Verilog HDL Conference : proceedings : March 31-April 3, 1997, Santa Clara, California
Authors: --- ---
Year: 1997 Publisher: Los Alamitos, California : IEEE Computer Society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 75 << page
of 8
>>
Sort by