A qualitative simulation approach for verifying PLL locking property.
Ibtissem SeghaierHenda AridhiMohamed H. ZakiSofiène TaharPublished in: ACM Great Lakes Symposium on VLSI (2014)
Keyphrases
- qualitative simulation
- qualitative reasoning
- dynamical systems
- qualitative description
- inference process
- temporally extended
- qualitative models
- concurrency control
- dynamic systems
- genetic regulatory networks
- case study
- computational model
- knowledge based systems
- causal reasoning
- logic programs
- fuzzy logic
- d objects
- state space