PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs
https://bo-yuan-huang.gitbook.io/ilang/
MIT License
75 stars 18 forks source link

[ILAtor] Inline simple functions #195

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

Describe your feature request. Inline simple functions (e.g., unchanged update functions) is possible.

Describe the solution you'd like Generation time inlining, or less preferred, syntactically inlining.

Additional context Reduce the cost of generation, compilation, and execution run-time.