Sciweavers

2145 search results - page 98 / 429
» Architectural Specifications in CASL
Sort
View
DAC
1996
ACM
14 years 1 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
14 years 1 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»
13 years 9 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
14 years 10 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»
14 years 4 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 ...