Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
-
Published:2003-06
Issue:2/3
Volume:8
Page:173-188
-
ISSN:0929-5585
-
Container-title:Design Automation for Embedded Systems
-
language:en
-
Short-container-title:Design Automation for Embedded Systems
Author:
Wang Li-C,Feng Tao,Cheng Kwang-Ting (Tim),Abadir Magdy S.,Pandey Manish
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software