Results 1 - 10 of 27,548

Protocol Verification as a Hardware Design Aid

by David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS , 1992
"... The role of automatic formal protocol verification in hardware design is considered. Principles are identified that maximize the benefits of protocol verification while minimizing the labor and computation required. A new protocol description language and verifier (both called Mur') are descri ..."
Abstract - Cited by 275 (27 self) - Add to MetaCart
The role of automatic formal protocol verification in hardware design is considered. Principles are identified that maximize the benefits of protocol verification while minimizing the labor and computation required. A new protocol description language and verifier (both called Mur

The Florida Hardware Design Language

by Peter M. Maurer, Peter M. Maurer - Proceedings Southeastcon-90 , 1990
"... The Florida Hardware Design Language is an expandable language that was originally ..."
Abstract - Cited by 6 (6 self) - Add to MetaCart
The Florida Hardware Design Language is an expandable language that was originally

Lava: Hardware Design in Haskell

by Per Bjesse, Koen Claessen, Mary Sheeran , 1998
"... Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit descri ..."
Abstract - Cited by 142 (11 self) - Add to MetaCart
Lava is a tool to assist circuit designers in specifying, designing, verifying and implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming language features, such as monads and type classes, to provide multiple interpretations of circuit

Hardware Design Experiences in ZebraNet

by Pei Zhang, Christopher M. Sadler, Stephen A. Lyon, Margaret Martonosi , 2004
"... The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing environment-ready systems. Current technology limits coupled with widely-varying application requirements lead to a diver ..."
Abstract - Cited by 137 (4 self) - Add to MetaCart
diversity of hardware platforms for di#erent portions of the design space. In addition, the unique energy and reliability constraints of a system that must function for months at a time without human intervention mean that demands on sensor network hardware are di#erent from the demands on standard

Simulation in Hardware Design and Testing

by K. G. W. Goossens
"... Hardware description languages (hdls) have been used in industry since the 1960s to document and simulate hardware designs. Simulation of hdl descriptions is very useful to find design faults without the need to manufacture the design. A well known drawback of simulation, however, is that the number ..."
Abstract - Add to MetaCart
Hardware description languages (hdls) have been used in industry since the 1960s to document and simulate hardware designs. Simulation of hdl descriptions is very useful to find design faults without the need to manufacture the design. A well known drawback of simulation, however

Providing VHDL Hardware Designs

by Peter T. Breuer, Luis Sanchez Fernandez, Carlos Delgado Kloos, Ez Carlos Delgado Kloos , 1993
"... The standardized hardware description language vhdl has an imperative semantics which includes delayed (scheduled) assignment and blocking handshakes. It can be seen as a side-effect on an infinitely long line of past and future program states. Directly expressing its Hoare logic in prolog impleme ..."
Abstract - Add to MetaCart
of time, and it can be used to prove vhdl hardware designs. Keywords: Theorem proving, applications; vhdl, hardware design, validation, simulation. The work reported in this paper has been partially supported by the INTEGRAL project (TIC93--0515--C02--01) sponsored by the Spanish "

Model-Based Diagnosis of Hardware Designs

by Gerhard Friedrich, Markus Stumptner, Franz Wotawa - Artificial Intelligence , 1996
"... The state of the art in hardware design is the use of hardware description languages such as VHDL. The designs given by VHDL programs are refined up to the point where the physical realization of the new circuit or board can be created automatically. The designs are tested by simulating them and com ..."
Abstract - Cited by 75 (50 self) - Add to MetaCart
The state of the art in hardware design is the use of hardware description languages such as VHDL. The designs given by VHDL programs are refined up to the point where the physical realization of the new circuit or board can be created automatically. The designs are tested by simulating them

HARDWARE DESIGN TECHNIQUES

by Overvoltage Protection
"... This chapter, one of the longer of those within the book, deals with topics just as important as all of those basic circuits immediately surrounding the data converter, discussed earlier. The chapter deals with various and sundry circuit/system issues which fall under the guise of system hardware de ..."
Abstract - Add to MetaCart
This chapter, one of the longer of those within the book, deals with topics just as important as all of those basic circuits immediately surrounding the data converter, discussed earlier. The chapter deals with various and sundry circuit/system issues which fall under the guise of system hardware

HARDWARE DESIGN TECHNIQUES

by I. Index
"... This chapter, one of the longer of those within the book, deals with topics just as important as all of those basic circuits immediately surrounding the data converter, discussed earlier. The chapter deals with various and sundry circuit/system issues which fall under the guise of system hardware de ..."
Abstract - Add to MetaCart
This chapter, one of the longer of those within the book, deals with topics just as important as all of those basic circuits immediately surrounding the data converter, discussed earlier. The chapter deals with various and sundry circuit/system issues which fall under the guise of system hardware

HARDWARE DESIGN TECHNIQUES

by Walt Kester, Walt Jung, James Bryant
"... In recent years there has been much pressure placed on system designers to verify their designs with computer simulations before committing to actual printed circuit board layouts and hardware. Simulating complex digital designs is extremely beneficial, and very often, the prototype phase can be eli ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
In recent years there has been much pressure placed on system designers to verify their designs with computer simulations before committing to actual printed circuit board layouts and hardware. Simulating complex digital designs is extremely beneficial, and very often, the prototype phase can
Results 1 - 10 of 27,548