Output SAT <OutputSAT>

Synopsis

For Functional Parameters, see SAT Export Design.

Parameters

Name	Type	Description
FileExtension	String	".sat"
FileName	String	"Output.sat"
FileType	String	"SAT File"

Children

sat as IvSATExport.