Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| config:start [2025/08/01 12:39] – [Configuration file format] rajit | config:start [2026/06/07 10:41] (current) – [The configuration files] rajit |
|---|
| * ''lint.conf'': [[config:lint|linting]] configuration for analyzing SPICE simulation traces. | * ''lint.conf'': [[config:lint|linting]] configuration for analyzing SPICE simulation traces. |
| * ''expropt.conf'': [[config:expropt|expression optimization]] configuration, used to run external logic synthesis tools for translating Boolean and integer expressions into logic gates. | * ''expropt.conf'': [[config:expropt|expression optimization]] configuration, used to run external logic synthesis tools for translating Boolean and integer expressions into logic gates. |
| | * ''synth.conf'': [[config:synth|synthesis]] configuration, used by the latest version of the logic synthesis tools for translating CHP to production rules. |
| * ''models.sp'': In the standard technology configuration directory, the file ''models.sp'' should exist if mixed-signal and analog modeling is to be used. This particular file should include the SPICE commands necessary to include all the device models needed for simulation. This is typically a single line of the form ''.lib "<path-to-models>" TT'' | * ''models.sp'': In the standard technology configuration directory, the file ''models.sp'' should exist if mixed-signal and analog modeling is to be used. This particular file should include the SPICE commands necessary to include all the device models needed for simulation. This is typically a single line of the form ''.lib "<path-to-models>" TT'' |
| |