SOURCES SOUGHT
70 -- formal verification software for register transfer language (RTL) - Purchase Description
- Notice Date
- 6/6/2018
- Notice Type
- Sources Sought
- NAICS
- 511210
— Software Publishers
- Contracting Office
- Department of the Army, Army Contracting Command, ACC - RSA (W31P4Q) Missile, BLDG 5303 SPARKMAN CIR, Redstone Arsenal, Alabama, 35898-5090, United States
- ZIP Code
- 35898-5090
- Solicitation Number
- W9124P-18-N-5306
- Archive Date
- 6/28/2018
- Point of Contact
- Naillil DeJesus, Phone: 2568428786
- E-Mail Address
-
naillil.m.dejesus.civ@mail.mil
(naillil.m.dejesus.civ@mail.mil)
- Small Business Set-Aside
- N/A
- Description
- Purchase Description This is a notice for requesting information for any vendors who may have the capability to provide formal verification software for register transfer language (RTL) based on microelectronics design for Ascent and Meridian design verification software.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/notices/6d9102ec26effc6d79a83d0311953e19)
- Place of Performance
- Address: Redstone, United States
- Record
- SN04946102-W 20180608/180606230458-6d9102ec26effc6d79a83d0311953e19 (fbodaily.com)
- Source
-
FedBizOpps Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's FBO Daily Index Page |