Mixed analog and digital simulation techniques. Symbolic layout and compaction techniques. Simulated annealing Verification methods. Logic and high level synthesis. Managing design complexity.