This tutorial is an introduction to the Synopsys Behavioral Compiler. It shows you the advantages of technology-independent and architecture-independent behavioral designing methodology and

* How to start and use Behavioral Compiler
* How to use BCView to graphically analyze a design
* How to code for synthesis
* How to simulate a design for pre-synthesis and post-synthesis verification

This book stems in part from courses taught at the University of Kentucky
and at the University of Wisconsin–Madison on programming language design. There are many good books that deal with the subject at an undergraduate level, but there are few that are suitable for a one-semester graduatelevel course. This book is my attempt to fill that gap.

#  Introduction to Optimization, or packed version

# Experience Paper: The Fortran H Compiler, or packed version

# Value Numbering as an Introduction to Optimization, or packed version (two lectures)

# Global Analysis (& Optimization), or packed version

# More on Data-flow Analysis, or packed version

# Allen-Cocke Interval Analysis, or packed version

# Proliferation of Data-flow Analysis Problems, or packed version

# Static Single Assignment Form

communication protocols
processors (CPUs)
IBM's CICS
kernel of a secure distributed operating system
compilers
safety-critical: medical systems, nuclear control
railways: French — safety-critical, Chinese — all aspects
aerospace — attitude monitors
instrumentation systems
AT&T switching system
Airbus cabin communication
AAMP5 commercial microprocessor
start informal (with discussion)
end formal (with program)
then test, but
how do you know if the program is working?

This document explains how to construct a compiler using lex and yacc. Lex and yacc are tools used to generate lexical analyzers and parsers. I assume you can program in C, and understand data structures such as linked-lists and trees.