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

Extend --protect-lib for foreign/embedded module use #1572

Closed
veripoolbot opened this issue Oct 24, 2019 · 3 comments
Closed

Extend --protect-lib for foreign/embedded module use #1572

veripoolbot opened this issue Oct 24, 2019 · 3 comments
Labels
area: usability Issue involves general usability effort: weeks Expect this issue to require weeks or more of invested effort to resolve resolution: fixed Closed; fixed type: feature-IEEE Request to add new feature, described in IEEE 1800 type: feature-non-IEEE Request to add new feature, outside IEEE 1800

Comments

@veripoolbot
Copy link
Contributor

veripoolbot commented Oct 24, 2019


Author Name: Todd Strader (@toddstrader)
Original Redmine Issue: 1572 from https://www.veripool.org


See:
#2041

--protect-lib can be used for foreign modules/incremental compilation. But since it was originally intended to hide third party IP from the user, it needs some tweaking/extending to be truly useful here. For starters we'd need to:

  • Allow for embedded module tracing
  • Probably add a new option (--embedded-lib?) that doesn't imply --protect-ids
@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Todd Strader (@toddstrader)
Original Date: 2019-10-24T12:21:31Z


One more for the list:

  • Add parameters from the embedded module in the SV wrapper and (assuming one was built) use the appropriate DPI implementation at runtime (this assumes you know/discover all parameter permutations before building the embedded module)

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-11-23T01:31:55Z


For those looking to try embedding without protection, for just for experimentation, use a recent git version and try "--protect-lib name --no-protect-ids"

@veripoolbot veripoolbot added area: usability Issue involves general usability effort: weeks Expect this issue to require weeks or more of invested effort to resolve type: feature-IEEE Request to add new feature, described in IEEE 1800 type: feature-non-IEEE Request to add new feature, outside IEEE 1800 labels Dec 22, 2019
@wsnyder wsnyder added the resolution: fixed Closed; fixed label Nov 28, 2021
@wsnyder
Copy link
Member

wsnyder commented Nov 28, 2021

Most of these features have been implemented, including making a --lib-create flag.

@wsnyder wsnyder closed this as completed Nov 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: usability Issue involves general usability effort: weeks Expect this issue to require weeks or more of invested effort to resolve resolution: fixed Closed; fixed type: feature-IEEE Request to add new feature, described in IEEE 1800 type: feature-non-IEEE Request to add new feature, outside IEEE 1800
Projects
None yet
Development

No branches or pull requests

2 participants