TY - GEN
T1 - Towards a specification notation for high-level synthesis of mixed-signal and analog systems
AU - Doboli, Alex
AU - Vemuri, Ranga
PY - 2000
Y1 - 2000
N2 - This paper discusses aBlox - A specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system specification: (1) description of functionality and performance issues and (2) expression of analog-digital interactions. The semantics of aBlox embeds concepts and rules of a computational model that we developed for mixed-signal systems. Finally, the paper shows some mixed-signal specifications that we developed in aBlox.
AB - This paper discusses aBlox - A specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system specification: (1) description of functionality and performance issues and (2) expression of analog-digital interactions. The semantics of aBlox embeds concepts and rules of a computational model that we developed for mixed-signal systems. Finally, the paper shows some mixed-signal specifications that we developed in aBlox.
UR - https://www.scopus.com/pages/publications/0034593363
U2 - 10.1109/BMAS.2000.888373
DO - 10.1109/BMAS.2000.888373
M3 - Conference contribution
AN - SCOPUS:0034593363
SN - 0769508936
SN - 9780769508931
T3 - 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation
SP - 109
EP - 116
BT - 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation
T2 - 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation (BMAS 2000)
Y2 - 19 October 2000 through 20 October 2000
ER -