Skip to main content
TeamingIndex
Unclaimed profileSeeded from SAM.gov and USAspending public records
Claim this profileCapability statement (.md)

ARIES DESIGN AUTOMATION, LLC

UEIKHN1ZN6ALMV4CAGE4D9L0NAICS541512
  • SAM active
  • No verified credentials yet
  • CMMCNot on file
  • SPRSNone
  • FCLVisible to paid members
  • Small Business

Registration and small-business types: SAM.gov, synced Nov 9, 2026. Compliance: self-attested by the company unless marked verified. The SPRS chip shows a range, never the exact score. How verification works

36-mo obligations
$1M
Awards on record
1
Contract vehicles
0
Verified credentials
0

Compliance posture: unverified (SAM.gov baseline only)

ARIES DESIGN AUTOMATION, LLC has not claimed this profile. What you see comes from public SAM.gov and USAspending records; no one from the company has confirmed CMMC, SPRS or clearance details yet. Learn more about CMMC 2.0

Claim this profile

About ARIES DESIGN AUTOMATION, LLC

ARIES DESIGN AUTOMATION, LLC is a SAM.gov-registered entity based in CHICAGO, IL 60618. UEI KHN1ZN6ALMV4; CAGE 4D9L0; primary NAICS 541512. Compliance posture not provided. Active SAM registration.
Headquarters
CHICAGO, IL 60618

Identifiers

UEI and CAGE come from SAM.gov. Other identifiers are listed by the company.

  • UEIKHN1ZN6ALMV4
  • CAGE4D9L0

Capabilities & differentiators

No capability narrative yet

The company has not published a capability narrative. Its SAM.gov registration, NAICS codes and award history are below.
Is this your company? Claim it

Compliance posture

Every credential shows who vouches for it: verified by TeamingIndex, or self-attested by the contractor.

No compliance posture published yet

Compliance facts appear once the company claims this profile and publishes them.
Is this your company? Claim it

Facility clearance

Facility clearance: visible to paid members

Clearance levels are shown only to paying members; TeamingIndex does not advertise clearances (NISPOM 32 CFR 117.9). Learn more about facility clearances · Compare plans

Past performance

Recompete RadarLearn more about past performance
Prime awards from USAspending.gov (FPDS), synced nightly. Recompete windows use the potential end date (base plus all options).
36-month obligations
$1M
Awards on record
1
Top funding agencies
Department of the Air Force

Awards

Contract vehicles

Learn more about GWACs, IDIQs and contract vehicles

No contract vehicles on file

This company has not listed GWAC, IDIQ, GSA Schedule or OTA consortium holdings.
Browse vehicle holders

Proven teaming graph

Learn more about sub-award reporting (FSRS)
Who ARIES DESIGN AUTOMATION, LLC has actually worked with, from sub-awards that prime contractors report to the government. Use it to see which primes already trust this company.

No sub-award reports yet

Prime contractors report first-tier subcontracts of $30,000 or more. None name this company yet, which is common for companies that mostly win prime contracts or work below the reporting threshold.
See where agencies spend

Source: USAspending.gov sub-award reports (FSRS) (opens in a new tab) · sync date not recorded · Prime contractors report first-tier subcontracts of $30,000 or more. Amounts are reported sub-award values.

SBIR/STTR portfolio

Learn more about SBIR/STTR Phase IIIAbout SBIR/STTR (opens in a new tab)
Small Business Innovation Research and Technology Transfer awards: early-stage federal R&D money this company has won.

SBIR/STTR awardee — Phase III-eligible for work derived from its SBIR/STTR projects

Agencies may award follow-on Phase III work without a new competition when it builds on this company’s earlier SBIR/STTR projects. Other work is competed as usual.

Awards on record
19 awards
Total awarded
$4,465,000
By phase
  • SBIR Phase I: 14
  • SBIR Phase II: 4
  • STTR Phase I: 1
By agency
  • National Aeronautics and Space Administration: 10
  • Department of Defense: 3
  • Department of Energy: 3
  • National Science Foundation: 2
  • Department of Commerce: 1
Active projects
0 projects
Projects whose contract end date is today or later.
Phase II ending within 12 months
0 projects
Phase II projects ending within 12 months. Agencies may award Phase III work without a new competition only when it derives from, extends or completes these projects.
By year
  • 2022: 1
  • 2021: 1
  • 2013: 2
  • 2012: 1
  • 2011: 2
  • 2010: 4
  • 2009: 4
  • 2008: 1
  • 2006: 3

Awards (most recent first)

  • Design and Formal Verification of a Fault-Tolerant RISC-V Processor Core Augmented to Accelerate Image and Science Data Processing

    SBIR Phase I · National Aeronautics and Space Administration · 2022 · $150,000

    Jul 18, 2022 – Jan 25, 2023

    Solicitation SBIR_22_P1 (2022) · Topic Z2

  • Design and Formal Verification of a RISC-V DSP for Space Communication

    SBIR Phase II · Department of Defense (Air Force) · 2021 · $1,000,000

    Sep 9, 2021 – Dec 15, 2023

    • Direct to Phase II

    Solicitation X20.3 (2020) · Topic AF203-DCSO3

  • Scalable Parallel Algorithms for Formal Verification of Software

    SBIR Phase I · National Aeronautics and Space Administration · 2013 · $125,000

    May 23, 2013 – Nov 23, 2013

    Solicitation year 2012 · Topic A1.06 · Research partner: Stub

  • Formal Verification of Interactions of the RTOS, Memory System, and Application Programs at the PowerPC 750 Binary Code Level

    SBIR Phase I · National Aeronautics and Space Administration · 2013 · $125,000

    May 23, 2013 – Nov 23, 2013

    Solicitation year 2012 · Topic A1.06 · Research partner: Stub

  • Scalable Parallel Algorithms for Formal Verification of Software

    SBIR Phase I · National Aeronautics and Space Administration · 2012 · $125,000

    Feb 13, 2012 – Aug 13, 2012

    Solicitation year 2011 · Topic A1.20 · Research partner: Stub

  • Using Automated Abstractions to Classify System States for Software Health Monitoring

    SBIR Phase I · Department of Commerce (National Institute of Standards and Technology) · 2011 · $90,000

    Aug 1, 2011 – Feb 28, 2012

    Solicitation year 2011 · Topic 9.04.04.77

  • Reconfigurable VLIW Processor for Software Defined Radio

    SBIR Phase II · National Aeronautics and Space Administration · 2011 · $600,000

    Jun 1, 2011 – Apr 30, 2014

    Solicitation year 2009 · Topic O1.03 · Research partner: Stub

  • An Efficient Parallel SAT Solver Exploiting Multi-Core Environments

    SBIR Phase II · National Aeronautics and Space Administration · 2010 · $600,000

    Mar 29, 2010 – Aug 31, 2014

    Solicitation year 2008 · Topic X1.02

  • SBIR Phase I: Automatic Formal Verification of Chip-Multi-Threaded Multicore Processors

    SBIR Phase I · National Science Foundation · 2010 · $150,000

    Solicitation NSF 09-541 (2010) · Topic IC

  • Exploiting GPUs for Scalable Network Intrusion Detection

    SBIR Phase I · Department of Energy · 2010 · $100,000

    Ended Mar 18, 2011

    Solicitation DE-FOA-0000161 (2010) · Topic 40 a

  • Reconfigurable VLIW Processor for Software Defined Radio

    SBIR Phase I · National Aeronautics and Space Administration · 2010 · $100,000

    Topic O1

  • Efficient Techniques for Formal Verification of PowerPC 750 Executables

    SBIR Phase II · National Aeronautics and Space Administration · 2009 · $600,000

    Mar 10, 2009 – May 31, 2014

    Solicitation year 2007 · Topic X1.02

  • Formal Methods for Robustness Checking of Radiation-Hardened-by-Design Microelectronics

    SBIR Phase I · Department of Energy · 2009 · $100,000

    Solicitation DE-PS02-08ER08-34 (2008) · Topic 60 b

  • Insider Threat Detection and Response Using Formal Methods

    SBIR Phase I · Department of Energy · 2009 · $100,000

    Solicitation DE-PS02-08ER08-34 (2008) · Topic 52 d

  • An Efficient Parallel SAT Solver Exploiting Multi-Core Environments

    SBIR Phase I · National Aeronautics and Space Administration · 2009 · $100,000

  • Efficient Techniques for Formal Verification of PowerPC 750 Executables

    SBIR Phase I · National Aeronautics and Space Administration · 2008 · $100,000

  • Formal-Verification-Based Tool for Deobfuscation of Tamper-Proofed Software

    STTR Phase I · Department of Defense (Air Force) · 2006 · $100,000

    Jul 27, 2006 – Jan 27, 2007

    Solicitation year 2006 · Topic OSD06-NC5 · Research partner: UNIV. OF ARIZONA

  • Formal Methods for Malware Detection

    SBIR Phase I · Department of Defense (Air Force) · 2006 · $100,000

    Apr 28, 2006 – Apr 28, 2007

    Solicitation 2005.3 (2005) · Topic OSD05-SP2

  • SBIR Phase I: Techniques for Analysis of Counterexamples from Formal Verification of High-Level Microprocessor Designs

    SBIR Phase I · National Science Foundation · 2006 · $100,000

    Solicitation NSF 05-605 (2005) · Topic EO

Source: SBIR.gov award data file (opens in a new tab) · as of Nov 12, 2026 · file published Nov 1, 2026

FedRAMP offerings

Learn more about the FedRAMP Marketplace
Cloud services this company lists on the FedRAMP Marketplace, the government's record of cloud authorizations.

No FedRAMP Marketplace listing

No FedRAMP Marketplace listing is linked to this company. Cloud providers appear here automatically once FedRAMP lists their offering.
Find FedRAMP-authorized companies

Source: FedRAMP Marketplace (opens in a new tab) · sync date not recorded

Exclusions & screening

Exclusions about SAM.gov exclusionsScreening list about the Consolidated Screening List
Checks a prime runs before teaming: SAM.gov exclusions (debarment and suspension) and the government's Consolidated Screening List for export and sanctions lists.

SAM.gov exclusions

No active exclusion on record (checked Nov 14, 2026).

Agencies generally may not award to excluded parties, and primes may not subcontract with them above the threshold in FAR 52.209-6 (except COTS items) without a compelling reason reported to the contracting officer (FAR 9.405, 9.405-2). Some exclusion types apply only to specific programs: read the record on SAM.gov.

Source: SAM.gov Exclusions (opens in a new tab) · as of Nov 14, 2026

Consolidated Screening List

No confirmed match on the Consolidated Screening List (screened Nov 13, 2026).

The list combines Commerce, State and Treasury export-control and sanctions lists. A “no match” result is a name-and-address screen, not an export-compliance determination.

Source: ITA Consolidated Screening List (opens in a new tab) · as of Nov 13, 2026

GSA CALC+ rate benchmark

Learn more about GSA CALC+ labor rates
Hourly ceiling rates this company was awarded on GSA contracts, compared with the market for similar labor categories. Ceiling rates are the most an agency can be charged, not prices paid.

No GSA CALC+ rates on record

Companies with a GSA Multiple Award Schedule contract appear here after CALC+ publishes their awarded labor rates.
See GSA MAS holders

Source: GSA CALC+ awarded ceiling rates (opens in a new tab) · sync date not recorded

NAICS, PSC & socio-economic status

Learn more about NAICS size standards
Industry codes and small-business programs reported in SAM.gov.

NAICS codes

  • 541512Computer Systems Design ServicesPrimarySmall business under this code’s size standard
  • 541330Engineering Services
  • 541511Custom Computer Programming ServicesSmall business under this code’s size standard
  • 541519Other Computer Related Services
  • 541715Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

SAM.gov reports this entity as small under 2 of 5 NAICS codes. Size is determined per code (SBA size standards).

Socio-economic status

Learn more about small business set-asides

Product & service codes (PSC)

No PSC codes reported.

Teaming preferences

Learn more about teaming agreements and joint ventures

This company has not published teaming preferences.

SAM.gov teaming eligibility: Eligible to be proposed as a team member: active SAM.gov registration and no exclusion.

Business development contact

No BD contact published

Contact details appear once the company claims this profile.
Is this your company? Claim it

Corporate hierarchy

Affiliation & size about affiliation and size
Immediate parent and highest-level owner as reported in SAM.gov.

No parent entity reported in SAM.gov.

SBA counts affiliates when it determines whether a business is small (13 CFR 121.103), so a parent’s size can matter for set-aside work.

Data sources & provenance

Who stands behind each fact on this page, and how to correct it.

  • SAM.gov

    Registration, CAGE, NAICS, socio-economic status, corporate hierarchy and exclusions. Last synced Nov 9, 2026.

  • USAspending.gov

    Prime award history and obligations (FPDS), synced nightly.

  • The contractor

    Nothing yet: this profile has not been claimed by the company.

  • TeamingIndex verification

    Credentials marked Verified were checked by a TeamingIndex reviewer; everything else is self-attested.

Corrections

Corrections to SAM.gov data must be made in SAM.gov; TeamingIndex picks them up on the next nightly sync. Go to SAM.gov (opens in a new tab)

Machine-readable: capability.md schema.org JSON-LD embedded in this page.

Zero CUI: TeamingIndex stores verification metadata only, never System Security Plans, POA&Ms or DD Form 254s.

Teaming

Ready to team with ARIES DESIGN AUTOMATION, LLC?

Send an introduction and propose a mutual NDA. Their team is notified right away, and you can share the capability statement with your capture team.

Claim this profileCapability statement (.md)