Sciweavers

5744 search results - page 71 / 1149
» System level design, a VHDL based approach
Sort
View
170
Voted
ESTIMEDIA
2003
Springer
15 years 11 months ago
A Component Oriented Simulator for HW/SW Co-Designs
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
Alexander Paar, Haitao Du, Nader Bagherzadeh
165
Voted
FLAIRS
2006
15 years 7 months ago
Focusing AI Students' Attention: A Framework-Based Approach to Guiding Impasse-Driven Learning
Research indicates that impasse-driven learning can have important benefits for improving student mastery of material. When students recognize gaps in their understanding of a con...
Steven Bogaerts, David B. Leake
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
15 years 10 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
ASAP
2005
IEEE
165views Hardware» more  ASAP 2005»
15 years 11 months ago
CONAN - A Design Exploration Framework for Reliable Nano-Electronics
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici,...
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 6 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler