Збирач потоків

Hidden underflow in BF16 divider in mixed-precision FP designs

EDN Network - 3 години 46 хв тому

Floating-point computations dominate the landscape of all AI/ML compute but also in automotive, avionics and healthcare. While performance and compute errors dominated the landscape of floating-point design and verification, power optimizations forced designers to use non-standard precisions such as FP4, FP8, BF16, and so on. So, mixed precision computation has become prominent in modern-day design.

Figure 1 Here isa a sneak peek at floating point compute in AI designs. Source: Axiomise

However, a new paradigm of transprecision compute is also emerging. Tagliavini et.al captured this beautifully in their paper coining the term transprecision floating-point computing. According to the paper, transprecision computing is an area where “rather than tolerating errors implied by imprecise HW or SW computations, systems are explicitly designed to deliver just the required precision for intermediate computations”.

Mixed precision vs transprecision

Mixed precision and transprecision are closely related, but they are not the same thing. Mixed precision is mainly an algorithmic/use pattern; transprecision is a broader system and architecture paradigm. Mixed precision means using two or more fixed numeric formats within one algorithm or kernel. Transprecision goes further: it’s about designing the hardware, software, and algorithms so that the precision itself is a tunable resource.

In short, mixed precision is combining a few existing formats in one computation for performance/energy, with accuracy recovered by algorithmic tricks. And transprecision is an end-to-end paradigm where precision is a first-class, tunable knob, and the system supports many possible precisions (not just, for example, 16-bit/32-bit) to meet accuracy/energy goals.

The benefits are clear. Exploit lower precision where it’s safe, allowing better balance of performance and throughput, and lower energy consumption, thereby cooler chips, but maintain full-precision (higher) accuracy where needed. Specifically, formats such as FP16 and BF16 allow hardware to execute more FLOPs per cycle, often giving 1.5-3X speedups in deep learning workloads. Transprecision architectures can achieve multi‑x speedups by vectorizing and simplifying datapaths for small formats (for instance, 8-bit or 16‑bit “minifloats”).

Verification challenges

Mixed-precision and transprecision computing introduce substantial verification challenges because correctness is no longer tied to a single, well-understood format, but to a tapestry of interacting precisions, formats, and rounding behaviors across the pipeline. Mixed-precision and transprecision computing create a significantly harder verification problem than conventional floating-point design because correctness must be established not only within each individual format, but also across the boundaries between them.

In these systems, values may be computed, accumulated, converted, rounded, and stored at different precisions, so verification must account for interactions between multiple exponent ranges, mantissa widths, rounding modes, exception rules, and format-conversion paths rather than checking a single uniform arithmetic model. This increases the risk of subtle failures such as incorrect narrowing or widening behavior, loss of precision at format boundaries, inconsistent NaN and infinity propagation, mismatched exception flags, non-equivalent fused and non-fused results, and corner-case errors involving subnormals, saturation, or directed rounding.

The challenge is amplified further in configurable or transprecision FPUs, where the same hardware datapath may serve several formats and custom numerical types, making it easy for implementation shortcuts or shared logic to satisfy one format while violating the architectural intent of another.

As a result, effective verification of mixed-precision and transprecision designs requires more than numerical result checking: it demands format-aware reference models, carefully targeted boundary-case stimulus, cross-format property checking, and systematic validation of rounding and exception behavior under every supported precision configuration. The challenges of microarchitectural implementation are too many to capture here so we will defer to these for a separate blog, but pipelined implementations offer an interesting cross-dimensional challenge for verification.

Traditional verification methods

Simulation-based verification, whether directed or constrained-random, is inherently inadequate for mixed-precision and transprecision floating-point designs because it can exercise only a vanishingly small fraction of the enormous input and state space. Moreover, it’s biased toward scenarios that verification engineers think to test.

Even with sophisticated UVM environments and large regression farms, most tests focus on typical operating ranges and a limited set of corner cases, leaving huge gaps around precisely those conditions where multiple formats interact: operands that sit exactly on format boundaries, rare combinations of subnormals with different exponents, intricate sequences of narrowing and widening conversions, or subtle interactions between fused operations, rounding modes, and exception flags.

Many of the most damaging floating-point bugs historically have come from such corner cases that were numerically benign for most inputs but catastrophically wrong for particular patterns that simulation never hit. In a design that supports several precisions and custom formats, the number of distinct cross-format behaviors quickly explodes, making it practically impossible to gain real confidence from coverage metrics alone. That’s because hitting each branch or bin does not guarantee that all critical numerical combinations and flag behaviors have been validated.

Formal methods-based solutions

Formal verification, in contrast, can reason symbolically about entire classes of inputs and states at once, proving that key arithmetic, rounding, and exception properties hold for all operand values and all supported format combinations within a given block, and thus is uniquely positioned to close the coverage gap that simulation-based methods cannot realistically bridge. However, while C-to-RTL equivalence checking has been in use for many years to establish formal equivalence through proofs, deploying formal methods on direct pipelined implementations of RTL is not easy with C-to-RTL based tools.

What we need is a homogeneous architecture whereby we can reason about correctness of RTL micro-architectural implementation directly using a golden reference implementation in SVA, exploiting the abstraction-based techniques in property checking. This is why we built floatrix.

It’s an app offered as part of the axiomiser platform that can be automatically configured at runtime through a GUI to verify a range of FP precision formats through proofs obtained by exercising custom SVA properties on actual designs implemented in Verilog or VHDL requiring minimal human interaction; and most importantly requiring zero model minimization that is the norm in any C-to-RTL based formal equivalence checking solutions.

SVA models used in floatrix have been goldenized against the Berkeley Hardfloat models for IEEE-754 compliance. For non-standard precisions, we follow the reference guides of the implementation to adapt the models.

We have deployed floatrix on several designs since its launch in September 2025. We continue to find interesting bugs. Recently, we identified a tinniness issue on the FPU used by the OPENHW group. The Github ticket has more details.

In this article, we describe an interesting bug we caught in floating-point dividers found in the fpnew design (again part of the OPENHW group), using our floatrix app. In the next section we describe the bug itself and then we elaborate on its significance, and whether bugs like these are likely to happen in other designs. Our analysis covers the broader scope of what happens with designs in mixed-precision format, and gaps in verification causing these bugs to be missed in the first place.

Details of the bug

Before we describe the bug, let us capture some of the basic definitions.

Inexact flag: Raised when the rounded floating-point result is not equal to the mathematically exact result, meaning some precision was lost in rounding (this can accompany normal, overflowed, or underflowed results).

Underflow flag: Raised when a non-zero mathematical result is so small in magnitude that, after rounding to the target format, it becomes tiny (typically subnormal or zero); under IEEE‑754’s default rules, this is signalled only when that tiny result is also inexact.

Scenario

The inexact and underflow flags should be set if the unbound exact result (out of format) is 1×2-140 and the bounded result should be 16’h0000. Moreover, in the case of rounding up, the expected result should be 16’h0001. However, in FPnew, the result is always 16’h0000 with no exception flags raised.

Root cause

Root cause might be from performing the operations using single-precision arithmetic and then converting back to BF16.

Detection methods

The bug was caught using the floatrix underflow flag checks.

Figure 2 Waveform shows the special underflow case in division. Source: Axiomise

Why this class of bug is realistic?

Bugs like this can happen in real designs, especially in floating-point units that mix internal higher-precision arithmetic with lower-precision output formats such as BF16.

A bug like this reflects a common implementation pattern where the datapath computes in a wider internal format, such as FP32, and then converts or packs the result into a narrower format. If exception logic is tied only to the internal format and not to the final target format, the design can silently produce a numerically plausible output while missing required flags.

This is especially plausible in trans-precision designs. BF16 has the exponent range of FP32 but much less precision, which makes conversion-stage edge cases more common. A value can be representable or exact internally yet still underflow or become inexact when rounded to BF16. If the final conversion step is treated as a formatting step instead of a full IEEE-aware operation, underflow and inexact can be lost.

Reuse of a FP32 datapath for BF16

Modern fpu designs may implement a single “main” datapath (often FP32) and derive lower-precision results (BF16) by:

  1. Computing in FP32
  2. Rounding/packing down to the architectural format

For this bug, it means:

  1. The internal FP32 computation is perfectly normal and may produce a small, exact, subnormal value.
  2. Because that internal value is exact, the FP32 underflow and inexact logic quite reasonably decides “no underflow, no inexact”.
  3. If the design then blindly packs to BF16, the BF16 representation of that exact value can be 0x0000 or 0x0001, which is architecturally tiny and inexact from the BF16 point of view, but no new flags are generated.

So, the specific condition “exact subnormal in FP32, non-representable in BF16” is not rare; it’s exactly what you get whenever BF16 sees the far tail of the FP32 subnormal range.

Flag logic attached to the wrong format

In a typical implementation:

  • The main datapath correctly implements all rounding modes in FP32.
  • The BF16 path is implemented as a simple truncation, or as a hard-coded “round-to-nearest-even” micro-operation, ignoring the global rounding-mode control.

For this bug, that architectural decision has a precise consequence:

  • Underflow and inexact are defined with respect to the architectural result format and rounding (here BF16, with “tininess after rounding” for RISC‑V BF16).
  • If flags are tied to the internal FP32 representation, any case where FP32 is fine but BF16 underflows will be mis‑flagged.

The bug is therefore a very plausible pattern and can occur in other kinds of FP implementations because it reduces duplication of flag logic but is architecturally wrong for BF16 arithmetic.

RISC‑V BF16 underflow definition vs implementation shortcut

RISC‑V BF16 explicitly says:

  • Tininess is detected after rounding.
  • Underflow is signalled only when the result is both tiny and inexact.
  • The tininess detection itself conceptually uses rounding as if the exponent were unbounded in the target format.

A shortcut implementation for BF16 in a FP32-based unit often does:

“Let the FP32 unit compute and round; then chop its bits down to BF16.”

For this bug, perhaps that shortcut misses exactly this:

  • “Tiny and inexact” must be interpreted in BF16, not in FP32.
  • A result can be “non-tiny and exact” in FP32, yet “tiny and inexact” in BF16.

So, the focused risk factor is not generic underflow subtlety; it is the temptation to reuse the FP32 tininess logic instead of implementing BF16-aware tininess-after-rounding. That shortcut directly creates the buggy behavior.

Directed rounding applied only at the FP32 level

This case also involves a mode where “round to max” (or analogous directed rounding) should drive the BF16 result from 0x0000 to 0x0001. We suspect, this leads to:

  • FP32 sees the tiny result as exact, so the rounding mode does nothing interesting at that level.
  • BF16 should use the rounding mode to decide between 0x0000 and 0x0001, but the conversion block ignores it.
  • Consequently, the result is always 0x0000, and the flags never see the inexact/tiny condition.

So, the specific vulnerability of rounding-mode control is not propagated into the BF16 block, yet the ISA treats the BF16 operation as architecturally rounded in that mode.

Verification gaps specific to this pattern

For bugs like these to escape into silicon, we imagine that two very concrete verification gaps typically exist:

  • Format-mismatch in checkers: The reference model or scoreboard checks only the numeric value in FP32, or it narrows in the same way as the RTL (for example, using a float32‑>BF16 helper that also ignores flags), so it cannot see that BF16 flags differ from the spec.
  • Lack of subnormal+narrowing directed tests: Random and ISA-level tests hit plenty of BF16 arithmetic, but almost nothing in the region where:
  1. The true value is representable as a tiny FP32 subnormal.
  2. That value is below the BF16 subnormal range.
  3. The rounding mode is a directed one that should change 0x0000 to 0x0001.

These are not generic underflow issues; they are exactly the missing cases needed to expose flags generated in a wider format, and then silently narrowed.

Other similar bug patterns

This bug fits into a broader family of real floating-point design bugs:

  1. Flag-silent narrowing conversions: FP32 to BF16 or FP32 to FP16 loses information, but the design fails to raise inexact or underflow.
  2. Wrong rounding-mode application: The internal result is correct, but the final conversion stage ignores directed rounding such as round-toward-positive or round-to-max.
  3. Fused/non-fused mismatch: FMADD produces different flags than a mathematically equivalent MUL followed by ADD because the implementation handles flags at the wrong stage.
  4. Flush-to-zero leakage: A supposedly IEEE-compliant path accidentally behaves like flush-to-zero in one stage, especially for subnormal intermediates.
  5. Tininess detection mismatch: The design effectively uses one tininess rule internally and another assumption in verification or architectural expectations.

These are all realistic in designs that support multiple formats, configurability, or internal reuse of a higher precision datapath.

Practical impact

The practical impact of these kinds of bugs can be profound, even if the affected values are tiny. In many applications, the numerical difference may seem small, but the bug still matters because:

  1. Exception flags may drive diagnostics, fallback logic, or compliance tests.
  2. Image, DSP, and ML pipelines can be sensitive to repeated bias near zero.
  3. Safety or standards-driven environments care about architectural correctness, not just approximate numeric usefulness.

Why formal models for floating-point designs

Mixed-precision and transprecision floating-point designs offer compelling benefits in performance, power, and area, but they also amplify the risk of subtle correctness issues that are extremely hard to detect with traditional simulation-based verification alone.

The bug analyzed in this article illustrates how easy it is for architectural intent to be violated when arithmetic is performed in a wider internal format, flags are generated with respect to that format, and the final narrowing step is treated as a “mere” formatting operation rather than a first-class floating-point transformation with its own rounding and exception semantics.

This pattern is not unique to a single core or vendor; it’s a natural by-product of reusing FP32 datapaths to implement BF16, separating execution, rounding, conversion, and flag generation, and relying on checkers that mirror the same implementation shortcuts. More generally, the same structural causes can lead to a family of related failures: flag-silent narrowing conversions, incorrect application of directed rounding modes, inconsistencies between fused and non-fused operations, flush-to-zero leakage in ostensibly IEEE-compliant paths, and mismatched tininess rules between specification, design, and verification.

Addressing these challenges requires a shift from “best-effort” simulation to exhaustive, property-driven reasoning. By using format-aware formal models, such as those provided by floatrix, it becomes possible to prove that rounding, underflow, overflow, and flag behaviour are correct for all operands and all supported precisions, and to expose bugs that would otherwise hide indefinitely in rarely exercised corners of the state space.

Nicky Khodadad is senior solutions engineer at Axiomise.

Nguyen Vu is formal verification engineer at Axiomise.

Ashish Darbari is Founder and CEO of Axiomise.

Related Content

The post Hidden underflow in BF16 divider in mixed-precision FP designs appeared first on EDN.

Paragraf forms Advisory Committee and adds to board of directors

Semiconductor today - Пн, 06/29/2026 - 20:55
Graphene-based electronic device design, development and manufacturing company Paragraf of Somersham, Cambridgeshire, UK is forming a new Advisory Committee that will include Oreste Donzella, Jean-Michel Richard and Thomas Piliszczuk. Donzella and Richard will also join Paragraf’s board as non-executive directors...

Ascent Solar’s thin-film space solar products undamaged in atomic oxygen exposure tests

Semiconductor today - Пн, 06/29/2026 - 18:44
Ascent Solar Technologies Inc of Thornton, CO, USA – which designs and makes lightweight, flexible copper indium gallium diselenide (CIGS) thin-film photovoltaic (PV) panels that can be integrated into consumer products, off-grid applications and aerospace applications – has announced the results of its preliminary atomic oxygen (AO) exposure testing for its space-grade thin-film PV products. Testing has shown significant resilience to atomic oxygen in low Earth orbit (LEO)...

Конференція до 100-річчя професора В.М. Чермалиха "Сучасні технології автоматизації в електротехніці та електромеханіці"

Новини - Пн, 06/29/2026 - 17:30
Конференція до 100-річчя професора В.М. Чермалиха "Сучасні технології автоматизації в електротехніці та електромеханіці"
Image
Інформація КП пн, 06/29/2026 - 17:30
Текст

Науково-педагогічні працівники та інженери кафедри автоматизації електротехнічних та мехатронних комплексів (АЕМК) НН ІЕЕ провели Всеукраїнську науково-практичну конференцію, присвячену пам'яті визначного вченого, багаторічного завідувача кафедри АЕМК професора Валентина Чермалиха.

Dissecting an active Ethernet splitter

EDN Network - Пн, 06/29/2026 - 15:00

Need just one more network port than you’ve currently got available (often: none)? A splitter can do the trick; just spend a few extra bucks to make sure you’ve made the right pick.

I’ll begin this teardown with an analogy. Imagine you’re grilling weekend hamburgers for the family. After the patties are cooked (medium-rare, of course), you slot them in buns and load them up with per-recipient preferred extras—lettuce, pickles, tomatoes, onions, mustard, and the like. The one condiment everyone wants is catsup (of course, again). But then you belatedly realize that there’s not enough of the tomato-derived sauce left in the bottle for everyone; specifically, one of the kids is about to be catsup-deprived.

Obviously, this just won’t do. But if you run to the store for more, the food will be cold by the time you get back. Plus, everyone’s already starving. And none of the neighbors, specifically those that you know well enough to even think of knocking on their doors and asking to borrow some of their catsup, are home. But then you remember the spare catsup packets from a recent take-out meal, jammed in the back of the refrigerator. An imminent condiment crisis is averted!

Or take this one. Your four-cylinder car is already paid off, in solid cosmetic condition and (mostly) equally great functional shape. But it just doesn’t have the “get up and go” that you’re now looking for. You could finance a more powerful replacement. But assuming you could even find someone to sell your existing vehicle to, or a dealer willing to take it in trade, you won’t get what you think it’s worth. And did I already mention that the one you already have is debt-free?

But then you realize you’ve only been putting regular (vs premium-octane) gas in it all this time. And/or that it’s been a while since you’ve taken it to the shop for a spark plug swap and broader tune-up. And/or maybe just that its tires are underinflated, or your trunk is overfilled. Rectifying these shortcomings transforms your existing vehicle, making it sufficiently spunky such that you can shelve the alternative of a replacement, keeping money in your pocket in the process.

An RJ45 in every port

What’s this all got to do with technology, specifically with Ethernet splitters? Well, multi-port Ethernet switches commonly come in the following configurations:

  • 5-port
  • 8-port
  • 16-port
  • 24-port
  • 48-port

(10- and 12- port models, and other variants, also exist but are less common and therefore tend to be much more expensive on a per-port basis).

What happens if, as I’ve repeatedly experienced over the years, I have an eight-port switch  already in service and fully populated, but then add another wired Ethernet device to my LAN (for example, another NAS)? This leaves me needing one more port, but I don’t have any available spares. I could:

  • Replace the 8-port switch with a 16-port successor: an expensive transition proposition that also leaves me with a perfectly good but now-unused 8-port switch predecessor, or
  • Add a separate 5-port switch to the mix, connected to the original 8-port switch using a short span of Ethernet cable. While this is more economical than the prior approach, it “wastes” a port on both switches, dedicated solely to the interconnect between them, plus it takes up more space on the networking equipment shelf (along with another power strip spot).
Passive deficiencies

But there’s a third option, which I’ll be analyzing today. It’s a splitter, most commonly found in 1:2 ratio variants such as today’s dissection victim, although larger configurations are also available at least in active, versus passive, splitter form. What’s the difference? Passive splitters, as their name suggests, are unpowered (I’m also assuming here that they’re not self-powered, specifically via PoE). They’re also quite inexpensive, as this $8.99-total pair of them exemplifies:

Alas, they’re not a perfect panacea. Not even close. In this particular implementation case, notice the “(Can’t Run Both at The Same TIME)” qualifier right in the product title, conceptually replicated in another stock image, although the embedded verbiage muddies the waters as least as I’m interpreting it:

What’s basically going on with this particular implementation of the concept (with thanks to a knowledgeable Amazon reviewer, whose graphics I’m “borrowing”) is that the eight Ethernet wires flowing into one end of the splitter are duplicated at both connectors on the other end:

The upside? From a performance standpoint, both split-end (see what I did there?) connectors use all eight original-end wires (hold that thought). The downside? If you plug active devices into both “split” connectors at the same time, neither of them will go online. Not to mention all the short-circuiting going on between all three devices mated to the splitter, which should instead be called a duplicator (or maybe an overly complicated and potentially tragic coupler).

In the other implementation of the concept, which as my Amazon reviewer friend points out, often looks identical from the outside, four of the eight original-end connector wires go to one split-end connector, with the other four going to the other.

There are upsides to this variant approach, potentially. No short circuits, for one thing. And depending on how the wiring is handled at the other end of the cable plugged into the splitter’s original-end connector, gear plugged into both split-end connectors may be able to coexist. But since each of them is only using four wires of the total eight-wire strand, they’re each restricted to 100 Mbps peak bandwidth, since GbE connectivity requires the use of all four two-wire sets.

Active rationalization

Powered (active) splitters are the real deal. Essentially, they’re mini-switches, with a subset of the total number of connectors found in a “true” five-port (or larger) switch. Take today’s Goalake 2:1 patient, for example, which set me back only $6.49 post-35%-off-promotion when I bought it from Amazon in December 2024.

Along with its 3:1 sibling, which I’d purchased at the same time for only $9.09.

No inter-device packet collision issues, plus full GbE bandwidth to both “split end” devices, albeit subdivided between them if they’re concurrently transmitting or receiving.

With the stock image out of the way, let’s now look at the “real thing”, starting with box shots accompanied by a 0.75″ (19.1 mm) diameter U.S. penny for size comparison purposes, as usual.

Packaging contents

Open ‘er up, and inside you’ll find a slip of paper up top:

with the rest of the goodies below:

Extras first, also including a USB-A to USB-C cable, whose purpose you’ll see shortly:

And now for our patient, initially translucent-swathed:

And now “unclothed”:

This side you’ve already seen in the “stock” image:

These two are, like the bottom, bland:

And this one explains why the aforementioned included USB cable exists:

It’s for the USB-C incoming power connection:

To my earlier “takes up more space on the networking equipment shelf (along with another power strip spot)” crack, this device in contrast is pretty tiny (58.1 mm x 23.4 mm x 62.8 mm). And although you could plug the USB-A end into a dedicated “wall wart”, the power requirements (5V@1A) are low enough that you could instead leverage an already-available and otherwise-unused USB connector coming out the back of a nearby NAS or UPS, for example.

Unsurprising (and highly integrated) innards

Time to get inside. You probably already noticed the four screws, two on each end. And you probably already guessed what comes next:

Turns out, I didn’t necessarily need to remove both ends’ plates; I could slide the PCB out either:

Oh well…nothing wrong with being thorough:

Note the lingering glue on the inside-chassis slot, to hold the PCB in place as originally installed:

Speaking of which, not much of note on this PCB side, save for more glue remnants and the fact that the manufacturer went with multiple smaller LAN transformers per-connector versus one unified per-connector alternative, as I’ve seen in other wired Ethernet-inclusive products.

The other side’s more interesting, albeit only a bit, reflective of the minimized bill-of-materials cost for this low-priced device.

That thermal pad presses up against the lower half of the (aluminum, I presume) chassis when the PCB is in place. Let’s see what’s underneath:

Surprise, surprise (not)…an Econet (later merged with Airoha Technology, both subsidiaries of MediaTek) EN8850DHE five-port switch with embedded 10/100/1000Base-T PHY!

That’s all I’ve got for you today. Reader thoughts are as-always welcome in the comments!

Brian Dipert is the associate editor, as well as a contributing editor, at EDN.

Related Content

The post Dissecting an active Ethernet splitter appeared first on EDN.

New Battery Breakthrough Leads to ‘Big Leaps’ in Electronic Performance

ELE Times - Пн, 06/29/2026 - 14:46

A breakthrough could lead to huge breakthroughs in battery performance, as per scientists. The findings, from researchers at Dundee and Warwick universities, could lead to the development of batteries for electronics and vehicles that charge faster, last longer, and are safer to use. The researchers say that for the first time they have identified the key role oxygen plays in storing and releasing a battery’s energy.

Previously thought that during the charging process, much of the activity happens in metal elements inside the battery, such as nickel, cobalt, or iron, and that oxygen in the battery was “passive”. However, the team said advanced computer modelling and laboratory experiments have shown that oxygen plays a much more active role in the charging and discharging process.

Dr Hrishit Banerjee, a theoretical physicist at Dundee’s faculty of science, engineering and business, said: “Global populations have become increasingly reliant on renewable energy technologies and advanced energy storage systems, from everything from the mobile phones in our pockets to the cars we drive. “By improving our knowledge of what is occurring at a tiny, atomic level within batteries, we can make big leaps in improving their performance in the real world.

This has made understanding the technology underpinning electronic processes inside battery materials increasingly important. This research is crucial and showcases a new understanding of how batteries function at a fundamental level. The study compared two of the main lithium-ion battery cathodes in daily use, phosphates and layered oxides.

Together, these forms of batteries are used for a host of applications, including electric vehicles and portable electronics such as mobile phones and laptops. The study found that while phosphates showed little oxygen participation, the layered oxides showed “significant” electron extraction from oxygen. Current technologies are limited by the understanding of the underlying physics of how and why batteries fail over time. This general framework will help design batteries with much longer lifetimes.

The post New Battery Breakthrough Leads to ‘Big Leaps’ in Electronic Performance appeared first on ELE Times.

КПІ — серед лідерів сталого розвитку за версією THE Sustainability Impact Ratings 2026

Новини - Пн, 06/29/2026 - 14:25
КПІ — серед лідерів сталого розвитку за версією THE Sustainability Impact Ratings 2026
Image
kpi пн, 06/29/2026 - 14:25
Текст

КПІ ім. Ігоря Сікорського посилив свої позиції на міжнародній арені. У рейтингу THE Sustainability Impact Ratings 2026, що оцінює внесок університетів у досягнення Цілей сталого розвитку ООН, університет піднявся до групи 801–1000 найкращих закладів вищої освіти світу.

India is Engineering a Domestic Tech and Clean-Energy Supply Chain

ELE Times - Пн, 06/29/2026 - 12:48

The global tech supply chain is undergoing a massive structural realignment, and India is positioning itself to be more than just a destination for product assembly. In a significant move to bolster the nation’s hardware and clean-tech ecosystems, Uttar Pradesh Chief Minister Yogi Adityanath officially laid the foundation stone for major manufacturing facilities, led by Amber, Ascent, and SAEL Industries Limited. Their goal is to develop a manufacturing capacity of 6 gigawatts for solar cells and 5 gigawatts for solar modules from this plant. This development marks a critical transition from local product assembly to deep-tier component manufacturing, and the production of green technology is a fundamental requirement for true technological self-reliance.

Speaking at the inauguration ceremony, Chief Minister Yogi Adityanath said that the vision is to transform India into a global hub for electronic components manufacturing. ‘The goal is to transform India into a hub for electronic components, and this very vision has brought us to where we stand today, a moment that brings joy to us all.’

Expanding the Grid: Mass-Scale Solar and Component Infrastructure

While the state is aggressively pushing toward general electronics production, a massive anchor of this new manufacturing hub is dedicated to renewable energy hardware. The newly initiated plants are targeting staggering production capacities to fuel both domestic infrastructure and global markets:

  • Solar Cell Production: The facility is designed to scale up to a manufacturing capacity of 6 Gigawatts (GW) for solar cells.
  • Solar Module Assembly: Alongside the cells, the plant will house a 5 Gigawatt (GW) capacity line for fully fabricated solar modules.
  • Upstream Electronics: By focusing on core electronic components and advanced fabrication alongside partners like Amber and Ascent, the hub addresses critical raw hardware gaps in India’s tech supply chain.

The launch also coincided with the inauguration of the “Pandit Deendayal Upadhyaya Training Mega-Campaign,” a structured initiative designed to upskill local workers and prepare engineers to operate these highly automated facilities. As these production lines spin up, the project provides a vital sandbox for localized engineering talent, ensuring that the youth of Uttar Pradesh are positioned to lead the region’s emerging green economy.

The post India is Engineering a Domestic Tech and Clean-Energy Supply Chain appeared first on ELE Times.

Сергій Струтинський: від фундаментальної науки до практичних інновацій

Новини - Пн, 06/29/2026 - 12:06
Сергій Струтинський: від фундаментальної науки до практичних інновацій
Image
Інформація КП пн, 06/29/2026 - 12:06
Текст

Професор кафедри прикладної гідро­аеромеханіки та механотроніки НН ММІ Сергій Васильович Струтинський належить до нового покоління науковців, які при створенні інновацій поєднують фун­даментальні дослідження, практичний досвід та інженерну творчість. Його професійне зростання нерозривно пов'язане з Київською політехнікою, де дослідник пройшов шлях від студента й аспіранта до професора й керівника фундаментальних і прикладних науково-дослідних робіт.

Infineon introduces first 24kW SiC-based battery backup unit reference design for high-voltage DC bus architectures in AI data centers

Semiconductor today - Пн, 06/29/2026 - 11:45
Infineon Technologies AG of Munich, Germany has introduced a 24kW battery backup unit (BBU) DC–DC reference design for high-voltage (HV) DC bus architectures in artificial intelligence (AI) data centers. The design is said to be the first of its kind to operate directly from a battery stack to an 800V DC bus, using 650V and 1200V silicon carbide (SiC) technology. It achieves a power density of 450W/in3 and efficiency exceeding 99% within the same physical form factor as existing low-voltage (LV) BBU implementations, addressing a key infrastructure bottleneck as data centers transition to higher-voltage DC distribution...

Infineon adds two new high-efficiency server power solutions for AI data-center PSUs

Semiconductor today - Пн, 06/29/2026 - 11:38
With artificial intelligence workloads redefining the power requirements of modern data centers (and rapidly increasing GPU power levels and denser rack configurations pushing server power infrastructure to its limits), Infineon Technologies AG of Munich, Germany has hence introduced two system-level solutions targeting server ODMs and OEMs: an 18kW three-phase power supply unit (PSU) reference design optimized for 50V rack architecture, and a 30kW three-phase interleaved T-Type power factor correction (PFC) evaluation board designed for 800VDC or ±400VDC rack architectures with power sidecar. Both are part of Infineon’s broad AI server power delivery portfolio, helping customers to accelerate time-to-market while achieving higher rack power, improved efficiency, and better thermal performance...

EAS tags: The invisible backbone of retail security

EDN Network - Пн, 06/29/2026 - 09:02

In the world of retail, security is not always about cameras or guards; it’s often about technology you barely notice. Electronic article surveillance (EAS) tags are a prime example: small, lightweight devices that quietly safeguard billions of dollars’ worth of merchandise every year. Their strength lies in simplicity; an elegant mix of materials science and signal engineering that creates a reliable deterrent against theft.

For engineers and technologists, EAS tags are more than just retail accessories; they are a case study in how discreet design and robust physics converge to solve a persistent, real-world problem.

Principle of operation: Resonance and detuning

EAS tags are built on the physics of resonance. In RF systems, tag’s circuit is tuned to the frequency of the detection gates, producing a clear signal when energized. Acousto-magnetic (AM) systems rely on magnetostrictive strips that vibrate under alternating magnetic fields, creating a distinct response. In both cases, the tag’s resonance or detuning is what makes it detectable—a simple but elegant exploitation of electromagnetic behavior.

Detection gates: Antennas at the exit

The tall panels at store exits are more than just barriers; they are antennas transmitting and receiving fields. As a tag passes through, it interacts with these fields, altering the electromagnetic environment in a way the system recognizes. That interaction—a resonant “signature”—is what triggers the alarm. Without it, the gates remain silent, underscoring how precise the tag–antenna relationship must be.

The shielding challenge: Countering the Faraday cage

While EAS systems are robust, they face a persistent challenge from tag shielding, a technique where shoplifters use “booster bags” lined with conductive materials like aluminum foil. This creates a Faraday cage—a metal barrier that blocks the electromagnetic or magnetic fields from reaching the tag, preventing it from resonating or “talking” to the detection gates.

Because the tag’s signal cannot penetrate the shield, the system remains silent even as the item passes through the antennas. To counter this, modern engineering has introduced metal detection sensors within the antennas that trigger an alert when a large volume of metal is detected, ensuring the system isn’t bypassed by simple physical interference.

Ink security tags: Benefit-denial strategy

Developed in 1984, ink security tags feature an ampoule of indelible dye that ruptures and seeps into a product when tampered with, rendering the stolen item useless. This benefit-denial strategy has since evolved to work alongside EAS, combining electronic monitoring with a visible deterrent that discourages thieves from attempting removal.

Modern designs integrate ink ampoules directly into EAS housings, available in both AM and RF frequencies to suit all common systems, while ink dye pins can also be added to existing tags as an extra layer of protection.

Types of EAS tags

Retailers deploy different tag formats depending on the product and security need. Hard tags are the familiar plastic housings with locking pins, designed to be durable and reusable. They’re common on apparel and electronics, where reusability offsets cost. Soft labels are adhesive-backed and disposable, often hidden in stickers or packaging. These are ideal for books, cosmetics, and boxed goods, where speed and convenience matter.

Finally, specialty tags are engineered for unique shapes or high-value items—think liquor bottles, eyewear, or luxury accessories. Their design ensures protection without interfering with the customer’s ability to handle or try the product.

Figure 1 Composite image captures a black RF security hard tag pinned to jeans, a second detached tag with its metal pin exposed, and a white rectangular AM soft label marked with a barcode pattern. Source: Author (composite); individual images belong to their respective producers

Deactivation vs. removal: Two paths to clearance

Checkout counters handle tags in two distinct ways. Soft labels, often hidden in stickers, are electronically deactivated by disrupting their resonant circuit. Once deactivated, they no longer respond to the exit gates.

Hard tags, however, are mechanical devices locked onto the product. These require a physical detacher to release them, ensuring they can be reused. The dual approach reflects retail priorities: speed for disposable labels, security and sustainability for reusable tags.

Engineering behind the scenes

The effectiveness of EAS systems rests on careful engineering choices. Materials science plays a central role: ferrite cores and resonant circuits are tuned for reliable response, while adhesives ensure soft labels stay in place without damaging products. Signal processing is equally critical, with systems designed to operate within specific frequency ranges, reduce false alarms, and manage interference from other electronics.

Finally, engineers face constant design trade-offs: balancing cost, durability, and detection reliability. A tag must be inexpensive enough for mass deployment, rugged enough to survive handling, and precise enough to trigger only when it should. This interplay of physics, electronics, and economics is what makes EAS technology both ubiquitous and invisible in everyday retail.

EAS tag frequencies: RF vs. AM

The performance of EAS systems hinges on their operating frequencies. RF tags typically resonate at 8.2 MHz, making them cost-effective and widely used for general merchandise. Acousto-magnetic (AM) tags, by contrast, operate at 58 kHz, using magnetostrictive strips that vibrate under alternating magnetic fields to deliver stronger detection in environments with metal shelving or foil packaging.

These frequency choices are deliberate: RF systems provide scalable protection for everyday goods, while AM systems excel in challenging conditions, reducing false alarms and ensuring consistent reliability. Frequency engineering, in short, is what makes EAS technology both practical and precise in modern retail.

Figure 2 8.2-MHz RF tags display the internal resonant coil structure and the standard barcode-printed adhesive backing. Source: Author (composite); individual images belong to their respective producers

Dual-frequency and RFID integration

Dual-frequency EAS tags combine AM (58 kHz) and RF (8.2 MHz) technologies into a single housing to ensure universal compatibility across different retail security systems, regardless of which hardware a specific store uses. This makes them the gold standard for source tagging, where manufacturers apply the security tags during production rather than at the store; because the tag is “universal,” the manufacturer can ship the same protected product to any retailer worldwide without worrying about system compatibility.

By further integrating RFID into this setup, the tag evolves into an all-in-one solution that not only triggers exit alarms to prevent theft but also provides item-level data for real-time inventory tracking and supply chain visibility from the factory floor to the point of sale.

Figure 3 This dual-technology label integrates a UHF RFID inlay and an EAS tag to provide item-level tracking and secondary loss prevention for retail apparel. Source: Avery Dennison

Just to clear the mist…

At the core of the above dual EAS technology lies the NXP UCODE 9 chip, a high sensitivity “brain” engineered to deliver superior read ranges and maintain stable signals even under physical interference or shifting environmental conditions. Operating within the global ultra-high frequency (UHF) band of 860–960 MHz, it ensures seamless tracking across international regulatory standards, enabling long-range detection far beyond the proximity limits of standard “tap-to-pay” systems.

Data management is anchored by a 96-bit Electronic Product Code (EPC) memory, a rewritable digital barcode for precise item identification, complemented by a 96-bit Tag Identifier (TID). This TID serves as a permanent digital fingerprint, factory-locked with a 48-bit unique serial number that provides hardware-level authentication and protection against counterfeiting—an identity that cannot be duplicated or altered.

Smarter EAS for modern retail

The evolution of EAS technology is not just about new features; it’s about reshaping retail practice. As mentioned before, source tagging embeds protection at the point of manufacture, streamlining store operations and ensuring every item arrives shelf-ready. Likewise, integration with RFID merges theft prevention with inventory intelligence, giving retailers real-time visibility into stock while safeguarding assets.

Smarter systems, powered by AI-driven analytics, further reduce false alarms by distinguishing genuine threats from background noise. The practical results are clear: shrink reduction delivers measurable savings, customer experience improves through unobtrusive security, and operational efficiency rises with reusable tags and scalable systems. Together, these innovations transform EAS from a silent guard at the exit into a strategic enabler of modern retail.

The harmonic handshake: Integrating EM physics and DSP intelligence

Modern electronic article surveillance systems achieve reliability through the sophisticated interplay of electromagnetic (EM) physics and digital signal processing (DSP).

EM tags, built around high-permeability amorphous metal, generate a distinctive non-linear magnetic response when exposed to a low-frequency interrogation field (typically between 10 Hz and 1 kHz). Thin, durable, and capable of indefinite activation or deactivation, these tags remain the gold standard for high-security applications such as libraries and pharmaceuticals. Yet the low-frequency spectrum they inhabit is increasingly crowded with electronic noise.

Figure 4 These adhesive electromagnetic strips integrate seamlessly into book gutters for discreet security. Source: The Library Store

Here the DSP becomes the system’s discerning ear, applying advanced algorithms to isolate the harmonic signatures produced by the EM strip. By analyzing the timing and ratios of these harmonics—especially the unique “spikes” created as the tag’s magnetic material reaches saturation—the DSP can instantly distinguish a genuine tag from background interference like power lines or moving metal doors.

This synergy preserves the physical strengths of EM technology, including detection through foil and ease of concealment, while adding digital intelligence that virtually eliminates the false alarms once common in legacy analog systems.

From security tags to ambient intelligence

The humble EAS tag is no longer just a one-bit alarm. It’s evolving into the foundation of ambient IoT—a world where everyday objects speak digitally without batteries or costly processors. By merging chip-free EAS principles with conductive inks and AI-driven signal processing, we’re entering the age of computational matter. Imagine a cereal box that not only sets off a gate alarm but also tells a recycling sorter what it’s made of and quietly alerts your smart kitchen when it’s nearing expiration.

And this isn’t just theory—it’s a call to action. For makers, the playground now includes conductive filaments and paints, where a 3D-printed resonator might shift frequency when bent or a touch sensor could be embedded directly into a wooden desk. For engineers, the challenge lies not only in faster chips but in mastering signal-to-noise ratio using machine learning to extract meaning from the messy electromagnetic echoes of chipless tags and designing packaging tech that’s as recyclable as the cardboard it’s printed on.

The future of IoT isn’t merely connected—it’s ambient, invisible, and accessible. Whether you’re hacking RF readers or sketching with graphene ink, remember that sophistication isn’t measured in transistor counts, but in achieving the most with the least. Keep tinkering, keep questioning, and let’s weave an internet into the very fabric of our world.

T. K. Hareendran is a self-taught electronics enthusiast with a strong passion for innovative circuit design and hands-on technology. He develops both experimental and practical electronic projects, documenting and sharing his work to support fellow tinkerers and learners. Beyond the workbench, he dedicates time to technical writing and hardware evaluations to contribute meaningfully to the maker community.

Related Content

The post EAS tags: The invisible backbone of retail security appeared first on EDN.

Building I2C-PPS. Part 9 - Load Test and Project Conclusion

Reddit:Electronics - Ндл, 06/28/2026 - 02:55
Building I2C-PPS. Part 9 - Load Test and Project Conclusion

This is the final update on the I2C-PPS project. For more details see its repository - github.com/condevtion/i2c-pps. Pictures show a load test example, the load test setup, load emulator (set of 30 each 360 Ohm resistors), voltage regulation errors for 3.3v and 26v, efficiency at 3.3v. output current at 4.5v and input current at 26v (both with current limiting to 5A).

I planned the load test as a final step before wrapping up active work on the power supply project. Let's see where it's ended up. First of all, I mounted all devices on a plexiglass sheet to make the setup handling easier. It consists of MeanWell AC/DC 5V 35W source, Raspberry PI 2 Zero W, NUCLEO-474 and adjustable voltage divider as a 4-channel voltmeter, I2C-PPS itself, load, and a screw terminal to connect all the boards. Additionally, I used two multimeters to independently measure input and output currents. As it appeared later they both had pretty significant resistance to affect high current operation of the power supply.

Initial specification limited output to 25W or 5A (what came first) in 3.3 to 26V range and input current to 5A at 5V. It's pretty demanding numbers. For example, you need just 660 mOhm load to get 5A at 3.3V. As well you'd like to make it adjustable to cover the output current range at different voltages. I decided to hack it with several sets of 2W resistors. Set of 20 Ohm resistors (30 count) covers 3.3-6V range, 43 Ohm - 6-9V, 91 Ohm - 9-13V, 180 Ohm - 13-18V, and 360 Ohm - 18-26V. Each set soldered to a half of a pretty standard 30 position breadboard. Ordinary 100mil jumpers were used to connect necessary number of resistors. Unfortunately, with no active cooling this design becomes really hot within a minute. So I didn't really test reliability of the power supply under significant load.

Still results are quite good for the first revision. The power supply provides requested voltage with around 2% accuracy for 3.3V as controller's datasheet states. Frankly, I got a bit higher than 2% error while the datasheet limited it to 2%, but it's still the first revision. Peak efficiency is 94% at 3.3V and 1.5A down to 87% at 26V and 0.6A. Being overloaded the power supply switches to current limiting mode and properly holds both input and output currents under 5A.

Internal ADC doesn't look that good and shows even higher error (up to 6%) for output voltage. Current sensors disappoint even more. They aren't sensitive to current under 400mA (for analog IIN and IOUT pins) and to current under 1.2A for digital readings. Both showing 10% to 70% error for low currents (but the error goes down significantly for values above 1A). As far as I've dived in it, it works for current limiting within controller specifications but doesn't really suits for measurements. Also the datasheet doesn't mention ADC accuracy so I'd like to think that this is what the controller is designed for - high current applications and safety in the case.

So it really works! And close to what's expected from the controller's datasheet. While doesn't really suit my small projects needs - lack of output below 3.3V and inaccurate internal sensors for most of my projects, it was really interesting project which put to test my HW design abilities and revealed a lot of fascinating things at every stage from discovering KiCAD features, through selecting parts, ordering and assembling PCB, to emulating load and measuring characteristics of the power supply.

submitted by /u/WeekSpender
[link] [comments]

One PCB, one adapter, one Raspberry Pi, six IN-14 tubes and somehow it works

Reddit:Electronics - Сбт, 06/27/2026 - 22:22
One PCB, one adapter, one Raspberry Pi, six IN-14 tubes and somehow it works

First fully working assembly of a 6x IN-14 Nixie board I've been putting together. Sharing the build because I'm happy with how the layout and the HV section came out.

Quick rundown of the circuit:

  • 6x IN-14 tubes, multiplexed
  • HV supply generating ~170V DC from 12V input via a boost stage (MC34063-based), anodes through current-limiting resistors
  • Cathode driving via 74141 / K155ID1 decoders
  • Logic level shifting between the low-voltage control side and the HV cathode side
  • A separate OLED handles the non-numeric characters since the tubes only render 0–9

The part I spent the most time on was the HV rail. Under load, when all six tubes switch digits simultaneously, there's a bit more ripple than I'd like, so I reworked the filtering on the output cap stage. Multiplexing refresh rate also took some tuning to kill the visible flicker on the lower cathodes.

Data comes in over GPIO from a small controller, but the interesting part here is really the analog HV side and the cathode switching, which is what most of the board real estate goes to.

Posting it as a show-and-tell. Always nice to see this old Soviet hardware still glowing decades later.

submitted by /u/Nixiepulse
[link] [comments]

Weekly discussion, complaint, and rant thread

Reddit:Electronics - Сбт, 06/27/2026 - 18:00

Open to anything, including discussions, complaints, and rants.

Sub rules do not apply, so don't bother reporting incivility, off-topic, or spam.

Reddit-wide rules do apply.

To see the newest posts, sort the comments by "new" (instead of "best" or "top").

submitted by /u/AutoModerator
[link] [comments]

Simple Smart Watch

Reddit:Electronics - Сбт, 06/27/2026 - 06:04
Simple Smart Watch

Im aware this is a very bulky (and very open) smart watch but its just a simple side project i made for fun with the few resources i had left around. I currently dont have a 3d printer so I chose to just leave it open with all the electronics out and about and tbh I think it gives it some personality. Im currently working on the Bluetooth connection aspect of it so it can tell me when I get a notification but even then just by itself it has a few games, some productivity apps like notes, checklist, etc. and some simple apps used in engineering such as a calculator, resistor color code calculator, and other useful apps when it comes to building projects.

Here's some info for the nerds:

Microcontroller: esp32

Display: 0.96 in oled

Other features: 4 buttons, 2 indicator leds used in certain apps and games as well as a tiny vibration motor used for small noise and alerts.

submitted by /u/RogerRoads
[link] [comments]

Infineon expands CoolSiC JFET portfolio with normally-off variants for AI data centers and industrial applications

Semiconductor today - Птн, 06/26/2026 - 19:29
In response to growing demand from AI data centers and the shift towards solid-state power protection, Infineon Technologies AG of Munich, Germany is expanding its CoolSiC JFET portfolio with new devices, package options and configurations, aiming to support high-performance power distribution and protection systems...

Infineon launches EasyPACK S module and packaging concept

Semiconductor today - Птн, 06/26/2026 - 16:50
The demand for higher power densities in increasingly space-constrained environments continues to grow, whether in on-board chargers for electric vehicles or power supplies for AI data centers. At the recent PCIM Europe 2026 (Power Electronics, Intelligent Motion, Renewable Energy and Energy Management) Expo & Conference in Nuremberg, Germany (9–11 June), Munich-based Infineon Technologies AG hence introduced EasyPACK S, a compact power module and packaging concept specifically designed to meet these requirements. With a package height of only 5.6mm and a footprint of about 33mm x 36mm, EasyPACK S is said to enable significant system miniaturization while ensuring reliable thermal performance and reduced electromagnetic interference. The first modules available in the new package integrate Infineon’s CoolSiC MOSFETs 1200V G2 as well as IGBT4 and IGBT7 1200V technology...

Infineon sampling silicon carbide bidirectional switch based on 750V CoolSiC G2 technology

Semiconductor today - Птн, 06/26/2026 - 16:36
Infineon Technologies AG of Munich, Germany has begun sampling silicon carbide (SiC) bidirectional switches (BDS) built on rugged 750V CoolSiC G2 technology. A vertically integrated dual-die with common drain design in a top-side-cooled Q-DPAK package integrates two power switches into one to simplify design and enable the evolution of legacy topologies. The 750V CoolSiC BDS is said to deliver the reliability margin that modern grids and energy systems demand, resulting in the lowest total cost of ownership during the application lifetime...

Сторінки

Subscribe to Кафедра Електронної Інженерії збирач матеріалів