IEEE - Institute of Electrical and Electronics Engineers, Inc. - Reliable design with multiple clock domains

Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)

Author(s): E. Czeck ; R. Nanavati ; J. Stoy
Sponsor(s): ACM SIGon Design Auto.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Napa, CA, USA
Conference Date: 27 July 2006
Page Count: 10
Page(s): 139 - 148
ISBN (Paper): 1-4244-0421-5
DOI: 10.1109/MEMCOD.2006.1695917
Regular:

We present a set of guiding principles for the management of multiple clocks domains in the design of a high-level hardware description language. Our motivation of the requirements is based on... View More

Advertisement