// phase detector model, described as multiplier with gain

module phase_detector(in,ref,out);
 input in,ref;
 output out;
 voltage in,ref,out;

 parameter real gain = 1;

 analog
   V(out) <+ gain * V(in) * V(ref);

endmodule