ISD Projects

Current Projects

A list of current projects should be added soon.

Past Projects

• Brian Winters wrote an optimizer add-on to Murphi 3.1 as part of his M.Sc. thesis with Alan Hu. (See also the ICCD 2000 paper coauthored with Alan.) Source code for the optimizer is available.
• Other interesting past projects will be added, hopefully soon.

/isd/users/WEB/Projects/index.html