Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Question: Reading include files that contain port list #1020

Closed
veripoolbot opened this issue Jan 14, 2016 · 3 comments
Closed

Question: Reading include files that contain port list #1020

veripoolbot opened this issue Jan 14, 2016 · 3 comments
Labels

Comments

@veripoolbot
Copy link
Collaborator


Author Name: Mobile Man
Original Redmine Message: 1791 from https://www.veripool.org


Hi,
I'm trying to use autoinst for a module where the port list is partly defined in an include file that is auto-generated by a tool:

module lower_module (
    input in1,
    input in2,
    output out1,
    `include "list_of_auto_generated_ports.v"
    );
  some_logic
endmodule


Is there a way for AUTOINST to read the include file and use it at a higher level?
Here's what I'm expecting:

module  higher_module (
     /*AUTOINPUT*/
     input in1,
     input in2,
     /*AUTOOUTPUT*/
     output out1,
     output port1_from_include_file,
     output port2_from_include_file,
     etc
  );

  lower_module u_lower_module
  (
     /*AUTOINST*/
     .in1 (in1),
     .in2 (in2),
     .out1 (out1),
     .port1_from_include_file (port1_from_include_file),
     .port2_from_include_file (port2_from_include_file)
      etc
  )
 
endmodule

Currently, it seems like the ports in the include files are ignored.
I do have the following at the bottom of my file:

// Local Variables:
// eval:(verilog-read-includes)
// End:

Thanks!

@veripoolbot
Copy link
Collaborator Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2016-01-14T16:11:08Z


Sorry, but at present the autos cannot recognize the contents of an include file, beyond what read-includes does, which is to determine what values are constants (defines or parameters).

@veripoolbot
Copy link
Collaborator Author


Original Redmine Comment
Author Name: Mobile Man
Original Date: 2016-01-14T16:19:28Z


Thanks for the quick reply Wilson.
Is this something to be considered for supporting or is this the first request you got for this feature?
To be honest, I'm not sure how often a user might come across this scenario - probably not too often.

@veripoolbot
Copy link
Collaborator Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2016-01-14T16:43:36Z


It's maybe the 3rd time this has come up. It would be fairly hard to implement.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant