IEEE - Institute of Electrical and Electronics Engineers, Inc. - Cycle Accurate Verification of Synchronous Sequential Circuit Specified with UML 2.0 Modelling

2007 International Conference on Intelligent Pervasive Computing

Author(s): Hai Lin ; Yongxin Zhu ; Hua Chen ; Wei Guo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2007
Conference Location: Jeju City, South Korea
Conference Date: 11 October 2007
Page(s): 295 - 302
ISBN (Paper): 978-0-7695-3006-2
DOI: 10.1109/IPC.2007.84
Regular:

The surging complexity of modern embedded systems has been imposing challenges to designers since last decade. It is generally agreed that an approach to taming the complexity is to properly raise... View More

Advertisement