Sciweavers

3532 search results - page 15 / 707
» Visualization of SystemC Designs
Sort
View
FDL
2006
IEEE
14 years 1 months ago
MCF: A Metamodeling-based Visual Component Composition Framework
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
Deepak Mathaikutty, Sandeep K. Shukla
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
14 years 1 months ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
14 years 1 months ago
Formal verification of systemc designs using a petri-net based representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Daniel Karlsson, Petru Eles, Zebo Peng
VISUALIZATION
1996
IEEE
13 years 12 months ago
Flow Visualization for Turbomachinery Design
Visualization of CFD data for turbomachinery design poses some special requirements which are often not addressed by standard flow visualization systems. We discuss the issues inv...
Martin Roth, Ronald Peikert
FDL
2005
IEEE
14 years 1 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...