The register transfer abstraction (RTL) has been estab-lished as the industrial standard for ASIC design, soft IP ex-change and the backend interface for chip design at higher level. Unfortunately, the “synthesizable ” VHDL/Verilog in-carnation of the RTL abstraction has problems which pre-vent it from more productive use. For example, the confu-sion as the result of using simulation semantics for synthe-sis purpose, the lack of facility for component reuse at the “protocol ” level, and the lack of memory abstraction. Af-ter a detailed discussion of these problems, this paper pro-poses a new RTL abstraction, called MetaRTL, which can be implemented by a modest extension to the traditional im-perative programming languages. The productivity ...
In modern VLSI design flow, the register-transfer level (RTL) stage is a critical point, where desig...
IP-reuse allows designers to exploit already imple-mented and verified RTL IP cores while concentrat...
A new method of redesign for testability at the register-transfer level (RTL) is proposed. The metho...
Digital systems continue growing in complexity, but the design and verification productivity has not...
One of the major problems within the VHDL based behavioral synthesis is to start the design on highe...
Submitted on behalf of EDAA (http://www.edaa.com/)International audienceIn this paper we formally de...
The importance of effective and efficient accounting of layout effects is well-established in High-L...
The output of high-level synthesis typically consists of a netlist of generic RTL components and a s...
This book is both a tutorial and a reference for engineers who use the SystemVerilog Hardware Descri...
Modern SoCs gain a high level of parallelism by using both general purpose processors and a number o...
SystemVerilog is not just for Verification! When the SystemVerilog standard was first devised, one o...
The arising complexity of modern system-on-chips (SoCs) makes the reuse of existent IP cores a key s...
Virtual prototyping of embedded systems generally relies on the reuse of already developed component...
The importance of eective and ecient accounting of layout eects is well-established in High-Level Sy...
Abstraction plays a central role in formal verification. Term-level abstraction is a technique ...
In modern VLSI design flow, the register-transfer level (RTL) stage is a critical point, where desig...
IP-reuse allows designers to exploit already imple-mented and verified RTL IP cores while concentrat...
A new method of redesign for testability at the register-transfer level (RTL) is proposed. The metho...
Digital systems continue growing in complexity, but the design and verification productivity has not...
One of the major problems within the VHDL based behavioral synthesis is to start the design on highe...
Submitted on behalf of EDAA (http://www.edaa.com/)International audienceIn this paper we formally de...
The importance of effective and efficient accounting of layout effects is well-established in High-L...
The output of high-level synthesis typically consists of a netlist of generic RTL components and a s...
This book is both a tutorial and a reference for engineers who use the SystemVerilog Hardware Descri...
Modern SoCs gain a high level of parallelism by using both general purpose processors and a number o...
SystemVerilog is not just for Verification! When the SystemVerilog standard was first devised, one o...
The arising complexity of modern system-on-chips (SoCs) makes the reuse of existent IP cores a key s...
Virtual prototyping of embedded systems generally relies on the reuse of already developed component...
The importance of eective and ecient accounting of layout eects is well-established in High-Level Sy...
Abstraction plays a central role in formal verification. Term-level abstraction is a technique ...
In modern VLSI design flow, the register-transfer level (RTL) stage is a critical point, where desig...
IP-reuse allows designers to exploit already imple-mented and verified RTL IP cores while concentrat...
A new method of redesign for testability at the register-transfer level (RTL) is proposed. The metho...