====== Additional global Resets ====== The ''spreset.act'' file can be imported for two global resets: the first reset (''fReset''), and second reset (''sReset''). The reset protocol used is: - Assert ''fReset'' and ''sReset'' - De-assert ''fReset'' - De-assert ''sReset'' ''sReset'' is connected to ''Reset''. Import this file using import "spreset.act"; The signals defined in this file are: bool fReset, sReset;