Travelled to:1 × The Netherlands
1 × USA
Collaborated with:J.Yantchev S.Jolly T.McDougall
Talks about:reachabl (1) equival (1) circuit (1) analysi (1) switch (1) pseudo (1) effici (1) state (1) space (1) level (1)
Person: Atanas N. Parashkevov
DBLP: Parashkevov:Atanas_N=
Contributed to:
2002
1997Wrote 2 papers:
- DAC-2002-JollyPM #automation #equivalence
- Automated equivalence checking of switch level circuits (SJ, ANP, TM), pp. 299–304.
- TACAS-1997-ParashkevovY #analysis #performance #pseudo #reachability #using
- Space Efficient Reachability Analysis Through Use of Pseudo-Root States (ANP, JY), pp. 50–64.