3809 search results - page 536 / 762 » Associative language descriptions |
181
click to vote
WSC
1998
15 years 8 months ago
1998
VHDL-AMS is an Analog and Mixed-Signal extension to the Very High Speed Integrated Circuit Hardware Description Language (VHDL). With the standardization of VHDL-AMS, capable and ...
194
click to vote
WSC
1997
15 years 8 months ago
1997
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
209
click to vote
FORTE
1996
15 years 8 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
181
click to vote
IJCAI
1989
15 years 8 months ago
1989
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
186
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...