public CommonClockProcess(SignalDescriptor clk)
{
Contract.Requires <ArgumentNullException>(clk != null);
Clk = clk;
var frame = new DefaultAlgorithmBuilder();
var srClk = SignalRef.Create(Clk, SignalRef.EReferencedProperty.RisingEdge);
var lrClk = new LiteralReference(srClk);
frame.If(lrClk);
BodyBuilder = frame.BeginSubAlgorithm();
frame.EndIf();
FrameBuilder = frame;
}
