使用偏序进行异步电路的迹理论验证| IEEE会议出版物| IEEE Xplore