Compilation of software descriptions into tightly integrated systems of configurable embedded processors MESCAL). compilation of software for popular embedded processors - especially DSP\`s (eg. SPAM). integration of formal techniques into simulation a future simulation environment Compilation of hardware using logic synthesis. Closing the performance gap between synthesized and custom designs . other critical elements of automated hardware design, such as test and timing verification evaluating the impact of deep submicron process geometries on computer-aided design of integrated circuits using Berkeley Advanced Chip Performance Calculator (BACPAC).
