SV-BC Separate Compilation discussion 7/15/03 Attendees 0000000 9876654 1012012 6553928 0000000 3333333 aaaaaaa Karen Pieper a--aaaa Randy Misustin -a-a--a Dennis Brophy ------a Danny Jacobi aaaaaaa Brad Pierce --aaa-a Dave Rich a----aa Francoise Martinolle --a-aa- Matt Maidment a-a-a-- Tom Kiley ---a--- Johny Srouji -aaa--- Jay Lawrence a-a---- Arturo Salz a-a---- Peter Flake We had a lot of discussion about anonymous_programs. They are required because they indicate that the tasks and functions execute in the reactive region. We updated anonymous_programs to have attributes and lifetimes. Are parameters in packages overridable? No. Users like to use parameter rather than local parameter for keywords. Typedefs are supported by the data_declaration production, so it is possible to declare types. Classes are not, and that is why they are added as a separate production in the BNF. How about generally declared types in a package? The description is fine because of Verilog semantics. You can't declare parameterized types. There is a new usage of the :: operator to support "hierarchical" reference into a package. This is important because it allows us to determine when looking at foo::x that foo is a package, as opposed to an instance name above us in the instance tree. We need to limit references within packages to not refer to symbols defined outside of them. Importing scopes is allowed; however. We decided to use package as the name of this feature. We agreed to take a vote on this proposal by mail, with voting closing on Monday. We are voting as to whether it is ready to send to the sv-bc. Randy would like to revisit the separate root proposal next. We'll meet next week on Tuesday morning at 8:30am pacific to discuss the next steps.