543 search results - page 34 / 109 » A Structured Methodology for System-on-an-FPGA Design |
IESA
2007
13 years 10 months ago
2007
In this paper a methodology is presented to generate webforms for business documents directly from XML schemas. XML Schemas that are based on the UN/CEFACT Naming and Design Rules ...
IJSKD
2011
13 years 4 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
DSD
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...