1151 search results - page 34 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
111
Voted
ASYNC
2004
IEEE
15 years 7 months ago
2004
IEEE
We present some novel hardware implementations of a stack. All designs are clockless, fast, and energy efficient, while occupying modest area. We implemented a 42-place stack chip...
118
Voted
FORTE
1998
15 years 5 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
144
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
110
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...
227
Voted
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...