Spice export

This chapter of the user manual is dealing with the raw spice workflow, assuming the user wants to understand the process on the spice level. There's an alternative, a higher level abstraction, called sim. Both are also covered by the simulation tutorial.

Raw spice export topics: