A zonotoped macromodeling for reachability verification of eye-diagram in high-speed I/O links with jitter.
Sai Manoj Pudukotai DinakarraoHao YuChenjie GuCheng ZhuoPublished in: ICCAD (2014)
Keyphrases
- high speed
- gigabit ethernet
- high speed camera
- input output
- real time
- eye tracking
- low power
- eye movements
- model checking
- state space
- high speed networks
- neural network
- eye gaze
- file system
- formal verification
- fiber optic
- asynchronous circuits
- face verification
- packet loss
- state transition
- transitive closure
- main memory
- formal methods
- frame rate
- gaze estimation
- link analysis
- functional verification
- signature verification
- multi dimensional
- gaze direction
- verification method
- response time
- data model