Skip to content

Merge NAHS and HSCC (altsim) developments into master + bug fixes

Gabriel Albuquerque Gleizer requested to merge gg_thesis into master

Merge NAHS and HSCC (altsim) developments into master + bug fixes:

  • altsim equivalence-based minimization (HSCC'21 altsim)
  • min avg per SSC for upper bound (NAHS)
  • poossibility of initialization steps for scheduling (as in HSCC'21 altsim)
  • adding behavioral entropy
  • speed improvements on fixed-point iteration in scheduling

Examples:

  • To reproduce HSCC'21 altsim
  • To reproduce NAHS
  • To reproduce the numerical test of Sec. 3.7 of the dissertation

Bug fixes:

  • verify_cycle rounding issues on eigenvalues
  • removing temporary hack in etcgame (that could break the end result)
Edited by Gabriel Albuquerque Gleizer

Merge request reports