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:

1. Assert fReset and sReset
2. De-assert fReset
3. 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;