Sciweavers

2145 search results - page 98 / 429
» Architectural Specifications in CASL
Sort
View
DAC
1996
ACM
15 years 11 months ago
A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications
In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...
Bill Lin
DAC
1995
ACM
15 years 10 months ago
DARWIN: CMOS Opamp Synthesis by Means of a Genetic Algorithm
—DARWIN is a tool that is able to synthesize CMOS opamps, on the basis of a genetic algorithm. A randomly generated initial set of opamps evolves to a set in which the topologies...
Wim Kruiskamp, Domine Leenaerts
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
From Digital Television to Internet?
This paper provides a general technical overview of the Multimedia Home Platform (MHP) specifications. MHP is a generic interface between digital applications and user machines, w...
Vita Hinze-Hoare
DAC
2006
ACM
16 years 7 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
SASP
2008
IEEE
140views Hardware» more  SASP 2008»
16 years 1 months ago
An FPGA Design Space Exploration Tool for Matrix Inversion Architectures
— Matrix inversion is a common function found in many algorithms used in wireless communication systems. As FPGAs become an increasingly attractive platform for wireless communic...
Ali Irturk, Bridget Benson, Shahnam Mirzaei, Ryan ...