CIRCUITON DIGITAL SYSTEM MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

System Dynamics: Modeling, Simulation, and Response

RTL Modeling with SystemVerilog for Simulation and Synthesis: Using ASIC FPGA Design

Combat Simulation: Intelligent Modeling Techniques And Applications