Skip to content


In addition to hardware prototypes, my collaborators and I have developed several software toolkits related to cyber-physical system design automation as well as formal methods and their applications. Here are some software packages that we actively develop and support:

  • ArchEx: A software toolkit for for the design space exploration of cyber-physical system architectures.
  • CHASE: A framework for contract-based requirement engineering for cyber-physical system design.
  • Fun-SAT: An open-source SAT-based attack tool against sequential logic locking of integrated circuits.
  • SatEX: A Satisfiability Modulo Convex Programming solver (see also the CalCS project).
  • SCAnS: A software toolkit for requirement engineering based on stochastic contracts.