Introduction - If you have any usage issues, please Google them yourself
Analysis: norm design: state diagram, truth table, write the code. Authentication: proof of the correctness of the circuit. Simulation and formal verification. General: High level to low-level conversion. Netlisting test: find waste. Generate test vectors