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

Open
veripoolbot opened this issue Oct 24, 2019 · 2 comments
Open

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

veripoolbot opened this issue Oct 24, 2019 · 2 comments

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Oct 24, 2019


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


See:
https://www.veripool.org/boards/3/topics/2348

--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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Oct 24, 2019


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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Nov 23, 2019


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"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant
You can’t perform that action at this time.