6167 search results - page 923 / 1234 » Can Refinement be Automated |
125
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
140
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
The video signal processor AxPe1280V has been developed for implementation of different video coding applications according to standards like ITU-T H.261/H.263, and ISO MPEG-1/2. ...
118
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
125
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Due to the unavoidable need for system debugging, performance tuning, and adaptation to new standards, the engineering change (EC) methodology has emerged as one of the crucial co...
108
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Recently, a number of watermarking-based intellectual property protection techniques have been proposed. Although they have been applied to different stages in the design process ...