/**********************************************************************
 * $list_parameters example -- Verilog test bench source code
 *
 * Verilog test bench to test the $list_parameters PLI application.
 *
 * For the book, "The Verilog PLI Handbook" by Stuart Sutherland
 *  Book copyright 1999, Kluwer Academic Publishers, Norwell, MA, USA
 *   Contact: www.wkap.il
 *  Example copyright 1998, Sutherland HDL Inc, Portland, Oregon, USA
 *   Contact: www.sutherland.com or (503) 692-0898
 *********************************************************************/
`timescale 1ns / 1ns
module top;
  reg  [2:0] test;
  wire [1:0] results;

  addbit i1 (test[0], test[1], test[2], results[0], results[1]);

  initial
    begin
      #1 $list_parameters(i1);
      #1 $finish;
    end
endmodule

/*** A gate level 1 bit adder model ***/
`timescale 1ns / 10ps
module addbit (a, b, ci, sum, co);
  input  a, b, ci;
  output sum, co;

  parameter int_param = 1;
  parameter real_param = 2.0;
  parameter string_param = "3.0";
  parameter [3:0] vector_param = 4'b01zx;
  
  wire  a, b, ci, sum, co, n1, n2, n3, n4;
  wire  [3:0] foo = 4'bXZ10;

  xor #1.87       p1 (n1, a, b);    // all transitions have same delay
  xor #(1.8, 2.2) p2 (sum, n1, ci); //rise, fall delays
  and             p3 (n2, a, b);
  and             p4 (n3, n1, ci);
  or  #4          p5 (co, n2, n3);  //integer delay

endmodule
/*********************************************************************/



[ [ ['module', 'top', ';'],
    [ ['reg', '[', '2', ':', '0', ']', ['test'], ';'],
      ['wire', '[', '1', ':', '0', ']', ['results'], ';'],
      [ 'addbit',
        [ ['i1'],
          [ '(',
            ['test', '[', '0', ']'],
            ['test', '[', '1', ']'],
            ['test', '[', '2', ']'],
            ['results', '[', '0', ']'],
            ['results', '[', '1', ']'],
            ')']],
        ';'],
      [ 'initial',
        [ 'begin',
          [ [['#', '1'], ['$list_parameters', '(', ['i1'], ')', ';']],
            [['#', '1'], ['$finish', ';']]],
          'end']]],
    'endmodule'],
  [ [ 'module',
      'addbit',
      '(',
      [['a'], ['b'], ['ci'], ['sum'], ['co']],
      ')',
      ';'],
    [ ['input', 'a', 'b', 'ci', ';'],
      ['output', 'sum', 'co', ';'],
      ['parameter', ['int_param', '=', '1'], ';'],
      ['parameter', ['real_param', '=', '2.0'], ';'],
      ['parameter', ['string_param', '=', '"3.0"'], ';'],
      [ 'parameter',
        '[',
        '3',
        ':',
        '0',
        ']',
        ['vector_param', '=', "4 'b 01zx"],
        ';'],
      ['wire', ['a', 'b', 'ci', 'sum', 'co', 'n1', 'n2', 'n3', 'n4'], ';'],
      ['wire', '[', '3', ':', '0', ']', [[['foo'], '=', "4 'b XZ10"]], ';'],
      ['xor', ['#', '1.87'], ['p1'], '(', [['n1'], ['a'], ['b']], ')', ';'],
      [ 'xor',
        ['#', '(', ['1.8', '2.2'], ')'],
        ['p2'],
        '(',
        [['sum'], ['n1'], ['ci']],
        ')',
        ';'],
      ['and', ['p3'], '(', [['n2'], ['a'], ['b']], ')', ';'],
      ['and', ['p4'], '(', [['n3'], ['n1'], ['ci']], ')', ';'],
      ['or', ['#', '4'], ['p5'], '(', [['co'], ['n2'], ['n3']], ')', ';']],
    'endmodule']]
