This shows you the differences between two versions of the page.
|
gnucap:projects:nlnet:verilogams [2023/12/04 03:39] aldavis |
gnucap:projects:nlnet:verilogams [2023/12/05 17:19] (current) felixs 3 b, c |
||
|---|---|---|---|
| Line 65: | Line 65: | ||
| compute the partial derivatives accordingly. We also need to keep track of | compute the partial derivatives accordingly. We also need to keep track of | ||
| whether a derivative is constant. This task adds the required propagation | whether a derivative is constant. This task adds the required propagation | ||
| - | rules and bookkeeping. These are included with the 20231031 snapshot alongside | + | rules and bookkeeping. |
| - | constant folding. | + | |
| + | These are included with the 20231031 snapshot alongside constant folding. | ||
| == b) constant sources == | == b) constant sources == | ||
| Line 73: | Line 74: | ||
| not need re-evaluation, and is always converged by definition. In this task, | not need re-evaluation, and is always converged by definition. In this task, | ||
| these optimisations will be implemented for resistors and other linear devices. | these optimisations will be implemented for resistors and other linear devices. | ||
| + | |||
| + | This task is closed to finished with the November snapshot. Paramset has taken | ||
| + | priority over this one. | ||
| == c) internal node collapse == | == c) internal node collapse == | ||
| Line 79: | Line 83: | ||
| condition can be identified. In this task, the elaboration will be extended to | condition can be identified. In this task, the elaboration will be extended to | ||
| avoid additional nodes. | avoid additional nodes. | ||
| + | |||
| + | Since November, the optional internal nodes ("V<+0.") are collapsed into ports, and also nodes | ||
| + | in ddt/idt filters are optimised out, where they are not needed. | ||
| == d) redundant contributions == | == d) redundant contributions == | ||
| Line 85: | Line 92: | ||
| In this task the inferred source type will depend on the desired role, and | In this task the inferred source type will depend on the desired role, and | ||
| unused sources will be optimised out. Constant folding from 1a predetermines | unused sources will be optimised out. Constant folding from 1a predetermines | ||
| - | reachability in conditional blocks. Since 20231031 unreachable contributions are eliminated | + | reachability in conditional blocks. |
| + | |||
| + | Since 20231031 unreachable contributions are eliminated | ||
| before any code is generated. | before any code is generated. | ||