11.1. Matching Instructions11.1.1. Introduction to Binary Decision Diagrams11.1.2. The Translator11.1.3. Filtering Algorithm11.1.4. Combinational Equivalence Checking Model11.1.5. Results11.2. Modeling11.2.1. Overview11.2.2. Customization Parameters11.2.3. Characterization for Various ConstraintsArea Overhead CharacterizationLatency CharacterizationPower Consumption Characterization11.2.4. Equations for Estimating Area, Latency, and Power Consumption11.2.5. Evaluation Results11.3. ConclusionsAppendix: Estimating Area, Latency, and Power ConsumptionA.1 Area Overhead EstimationA.2 Latency EstimationA.3 Power Consumption Estimation