Motivate of the pull request

• To address an existing issue. Link to upstream VPR issue: Cell parameters in post P&R verilog verilog-to-routing/vtr-verilog-to-routing#1662

We would like to update VPR with some features and fixes that were introduced in upstream VPR with PR verilog-to-routing/vtr-verilog-to-routing#1663

Describe the technical details

What is currently done? (Provide issue link if applicable)

Current version of VPR writes faulty post-implementation netlist because of EBLIF parameters misinterpretation (binary parameters are interpreted as decimal).

What does this pull request change?

This PR improves in the following aspects:

• Adds validation of EBLIF parameters - they are categorized as string, binary or decimal parameter
• Fixes post-implementation verilog writer to add proper prefix before verilog parameter when it is needed

Which part of the code base require a change

• VPR

Impact of the pull request

• Fixed bug
• Additional input validation