Travelled to:2 × Germany
Collaborated with:X.Li T.Zhang J.Wang H.Li T.Wang
Talks about:abstract (2) guid (2) microprocessor (1) function (1) approach (1) probabl (1) generat (1) steadi (1) markov (1) design (1)
Person: Tao Lv
DBLP: Lv:Tao
Contributed to:
20142010Wrote 2 papers:
- DATE-2014-WangLLW0 #design #functional #generative #testing
- Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
- DATE-2010-ZhangLL #approach #markov #modelling #simulation #using #verification
- An abstraction-guided simulation approach using Markov models for microprocessor verification (TZ, TL, XL), pp. 484–489.