Towards a Specification Notation for High-Level Synthesis of Mixed-Signal and Analog Systems

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.

• Type: Conference
• Year: 2000
• Where: BMAS
• Authors: Alex Doboli, Ranga Vemuri
• Keywords: ABlox Embeds Concepts, BMAS 2000, Mixed-signal Systems, Modelling And Simulation, Paper Discusses ABlox