package jazz.circuit;

///////////////////////////////////////////////////////////////////////////////
//
//                   Utility functions for debugging circuits
//
///////////////////////////////////////////////////////////////////////////////

public class Debug {
  public static probe(n: Net, name: String): int;
}

///////////////////////////////////////////////////////////////////////////////
//
//                               Implementation
//
///////////////////////////////////////////////////////////////////////////////

Debug.probe(n, name) = pragma("debug", "%n = \"%s\"", n, name);