Aries Design Automation, Llc
CAGE Code: 4D9L0
NCAGE Code: 4D9L0
Status: Active
Type: Commercial Supplier
Dun & Bradstreet (DUNS): 361627933
Summary
Aries Design Automation, Llc is an Active Commercial Supplier with the Cage Code 4D9L0 and is tracked by Dun & Bradstreet under DUNS Number 361627933..
Address
2705 W Byron St
Chicago IL 60618-3745
United States
Points of Contact
- Telephone:
- 7738566633
-
http://www.aries-da.com/
Related Information
People who viewed this 'CAGE Code' also viewed...
Platinu-Mennium Inc Berlitz Language Center Rashmi Gupta Rush University Office Of Research R J B Properties Inc Moore C F Construction Co Precision Mfg Inc Hlm Industries Hart International Co Wood Fiber Industries Bayfield Construction Co Inc Stanley Consultants, Inc. J P C Industries Berndt Associates Inc Reliable Galvanizing Co Travel Caddy Inc Burns International Security Asi Personnel Service Inc Medical Surgical Supply Mota Construction Company Inc
Frequently Asked Questions (FAQ) for CAGE 4D9L0
- What is CAGE Code 4D9L0?
- 4D9L0 is the unique identifier used by NATO Organizations to reference the physical entity known as Aries Design Automation, Llc located at 2705 W Byron St, Chicago IL 60618-3745, United States.
- Who is CAGE Code 4D9L0?
- 4D9L0 refers to Aries Design Automation, Llc located at 2705 W Byron St, Chicago IL 60618-3745, United States.
- Where is CAGE Code 4D9L0 Located?
- CAGE Code 4D9L0 is located in Chicago, IL, USA.
Contracting History for CAGE 4D9L0 Most Recent 25 Records
- FA864921P1648
- Design And Formal Verification Of A Instruction Set Architecture Digital Signal Processor For Space Communication
- 9 Sep 2021
- Design And Formal Verification Of A Instruction Set Architecture Digital Signal Processor For Space Communication
- Fa8649 Usaf Sbir Sttr Contracting
- Department Of Defense (Dod)
- $1,000,000.00
- Department Of Defense (Dod)
- 80NSSC22PA949
- E014042 Sbir Phase 1 Design And Formal Verification Of A Fault-Tolerant Risc-V Processor Core Augmented To Accelerate Image And Science Data Processing
- 25 Jan 2023
- E014042 Sbir Phase 1 Design And Formal Verification Of A Fault-Tolerant Risc-V Processor Core Augmented To Accelerate Image And Science Data Processing
- Nasa Shared Services Center
- National Aeronautics And Space Administration (Nasa)
- $150,000.00
- National Aeronautics And Space Administration (Nasa)
- NNX10CA19C
- The Hundreds Of Stream Cores In The Latest Graphics Processors (Gpus), And The Possibility To Execute Non-Graphics Computations On Them, Open Unprecedented Levels Of Parallelism At A Very Low Cost. In The Last 6 Years, Gpus Had An Increasing Performance Advantage Of An Order Of Magnitude Relative To X86 Cpus. Furthermore, This Performance Advantage Will Continue To Increase In The Next 20 Years Because Of The Scalability Of The Chip Manufacturing Processes. The Goal Of This Project Is To Efficiently Exploit The Gpu Parallelism In Order To Accelerate The Execution Of A Boolean Satisfiability (Sat) Solver. Sat Has A Wide Range Of Applications, Including Formal Verification And Testing Of Software And Hardware, Scheduling And Planning, Cryptanalysis, And Detection Of Security Vulnerabilities And Malicious Intent In Software. We Bring A Tremendous Expertise In Sat Solving, Formal Verification, And Solving Of Constraint Satisfaction Problems (Csps) By Efficient Translation To Sat. In Our Previous Work (Done On The Expenses Of Our Company) We Achieved 2 Orders Of Magnitude Speedup In Solving Boolean Formulas From Formal Verification Of Complex Pipelined Microprocessors, 4 Orders Of Magnitude Speedup In Sat-Based Solving Of Csps, And 8 Orders Of Magnitude Speedup In Sat-Based Routing Of Optical Networks. During Phase 1 We Implemented A Prototype Of A Parallel Gpu-Based Sat Solver That Is 1 2 Orders Of Magnitude Faster Than The Best Sequential Sat Solvers. In Phase 2, We Will Continue To Exploit The Gpu Parallelism To Accelerate Sat Solving, And Expect To Achieve Speedup Of 3 4 Orders Of Magnitude.
- 6 Sep 2018
- The Hundreds Of Stream Cores In The Latest Graphics Processors (Gpus), And The Possibility To Execute Non-Graphics Computations On Them, Open Unprecedented Levels Of Parallelism At A Very Low Cost. In The Last 6 Years, Gpus Had An Increasing Performance Advantage Of An Order Of Magnitude Relative To X86 Cpus. Furthermore, This Performance Advantage Will Continue To Increase In The Next 20 Years Because Of The Scalability Of The Chip Manufacturing Processes. The Goal Of This Project Is To Efficiently Exploit The Gpu Parallelism In Order To Accelerate The Execution Of A Boolean Satisfiability (Sat) Solver. Sat Has A Wide Range Of Applications, Including Formal Verification And Testing Of Software And Hardware, Scheduling And Planning, Cryptanalysis, And Detection Of Security Vulnerabilities And Malicious Intent In Software. We Bring A Tremendous Expertise In Sat Solving, Formal Verification, And Solving Of Constraint Satisfaction Problems (Csps) By Efficient Translation To Sat. In Our Previous Work (Done On The Expenses Of Our Company) We Achieved 2 Orders Of Magnitude Speedup In Solving Boolean Formulas From Formal Verification Of Complex Pipelined Microprocessors, 4 Orders Of Magnitude Speedup In Sat-Based Solving Of Csps, And 8 Orders Of Magnitude Speedup In Sat-Based Routing Of Optical Networks. During Phase 1 We Implemented A Prototype Of A Parallel Gpu-Based Sat Solver That Is 1 2 Orders Of Magnitude Faster Than The Best Sequential Sat Solvers. In Phase 2, We Will Continue To Exploit The Gpu Parallelism To Accelerate Sat Solving, And Expect To Achieve Speedup Of 3 4 Orders Of Magnitude.
- Nasa Shared Services Center
- National Aeronautics And Space Administration (Nasa)
- $600,000.00
- National Aeronautics And Space Administration (Nasa)
- 80NSSC22PA949
- E014042 Sbir Phase 1 Design And Formal Verification Of A Fault-Tolerant Risc-V Processor Core Augmented To Accelerate Image And Science Data Processing
- 18 Jul 2022
- E014042 Sbir Phase 1 Design And Formal Verification Of A Fault-Tolerant Risc-V Processor Core Augmented To Accelerate Image And Science Data Processing
- Nasa Shared Services Center
- National Aeronautics And Space Administration (Nasa)
- $150,000.00
- National Aeronautics And Space Administration (Nasa)