🚀 go-pugleaf

I have a question which I can not answer after extensive
library sessions.

The question is whether algorithms for generation of
test-vectors (stimuli) for combinatorial circuits (in
particular Roth's D-algorithm) can be used for asynchronous
circuits as well.
I am not concerned about races and hazards (delay insensitive
circuits are used).

Is this possible? Are there any specific problems?
Do you know good references to proceedings or books? 


Thanks in advance.


-- 
--------===========---------
Eelco Vriezekolk, wsineel@win.tue.nl
   Computer scientist looking for career in any civilized country.
   Please contact at above email-address.