Sciweavers

13101 search results - page 237 / 2621
» The design and implementation of microdrivers
Sort
View
DATE
2008
IEEE
82views Hardware» more  DATE 2008»
16 years 1 months ago
Periodic Steady-State Analysis Augmented with Design Equality Constraints
— A design-oriented periodic steady-state analysis is presented in this paper. The new analysis finds the values of circuit parameters that result in a desired circuit performan...
Igor Vytyaz, Pavan Kumar Hanumolu, Un-Ku Moon, Kar...
HVC
2007
Springer
103views Hardware» more  HVC 2007»
16 years 23 days ago
Verifying Parametrised Hardware Designs Via Counter Automata
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
Ales Smrcka, Tomás Vojnar
ICANNGA
2007
Springer
16 years 23 days ago
DNA Based Evolutionary Approach for Microprocessor Design Automation
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
Nagarajan Venkateswaran, Arjun Kumeresh, Harish Ch...
IOLTS
2006
IEEE
84views Hardware» more  IOLTS 2006»
16 years 19 days ago
Fault Tolerant System Design Method Based on Self-Checking Circuits
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity p...
Pavel Kubalík, Petr Fiser, Hana Kubatova
APWEB
2003
Springer
15 years 12 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...