search

MyersResearchGroup / Core

0 stars 0 forks source link

Timing dependent choices problem #30

Open buggsley opened 7 years ago

buggsley commented 7 years ago

Full_Name: Hao Zheng Version: OS: spec: log: Submission from: tang.elen.utah.edu (155.99.23.207) Submitted by: hao

Example file: /home/tang/hao/research/atacs/examples/csp/ex2.csp postprocessing destory the timing dependent choice specified, and POSETS cannot handle it. Error: different circuit is derived.

buggsley commented 7 years ago

Full_Name: Hao Zheng Version: OS: spec: log: Submission from: tang.elen.utah.edu (155.99.23.207) Submitted by: hao

Example file: /home/tang/hao/research/atacs/examples/csp/ex2.csp postprocessing destory the timing dependent choice specified, and POSETS cannot handle it. Error: different circuit is derived.

Indeed this example has time dependent choice inherent in the example. I believe it should have two different circuits depending on whether -tp -ts are chosen.