Conclusion

Example

  • ‚ÄčAES-RTL-C: an example of writing templates, interfacing the simulator, and exporting the synthesized results.

FAQ

  • What does it mean by "cannot retrieve synthesis result"? It usually means that the search space you defined have overlapping or conflicts.

Other sources

The synthesis engine is itself an independent self-contained tool. There are several more detailed documentations and materials. (Note: some of them are not updated frequently.)