Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
start [2024/02/22 17:44]
fabian [ACT library]
start [2024/02/22 17:45] (current)
fabian [ACT library]
Line 20: Line 20:
  
   * [[stdlib:|Standard library]]   * [[stdlib:|Standard library]]
-  * [[sim:|Simulation library]], installed together with [[actsim|actsim]]; It provides tools for simulation and verification+  * [[sim:|Simulation library]], installed together with [[tools:actsim|actsim]]; It provides tools for simulation and verification
   * [[http://avlsi.csl.yale.edu/act_docs/|Using the ACT library]] (work in progress!)   * [[http://avlsi.csl.yale.edu/act_docs/|Using the ACT library]] (work in progress!)
   * [[guide:|Guide to using ACT data structures]]   * [[guide:|Guide to using ACT data structures]]