selected publications

• conference paper

  • Checking Pipelined Distributed Global Properties for Post-silicon Debug.  Workshop RTL and High Level Testing. 1-6. 2010