Metaverse, with the combination of prefix “meta” (meaning transcending) and word “universe,” has been deemed as a hypothetical next-generation (NextG) Internet. It aims to create shared virtual space that connects all worlds via Internet, where users, represented digital avatars, can communicate collaborate if they are in physical world. Nevertheless, there is still no unified definition Metaverse. This article first reviews what heavily advocated by industry positions various high-tech...

Despite the great success of high-level synthesis (HLS) tools, we observe several unresolved challenges: 1) abstraction HLS programming styles sometimes conceals optimization opportunities; 2) actual quality resulting RTL designs is hard to predict; and 3) existing tools do not provide flexible tradeoff (Pareto) solutions among different objectives constraints. To this end, propose an end-to-end framework, namely, IronMan-Pro. The primary goal enable a automated design space exploration...

Agile hardware development requires fast and accurate circuit quality evaluation from early design stages. Existing work of high-level synthesis (HLS) performance prediction usually extensive feature engineering after the process. To expedite as stage possible, we propose rapid methods, which exploit representation power graph neural networks (GNNs) by representing C/C++ programs graphs. The contribution this is three-fold. (1) Benchmarking. We build a standard benchmark suite with 40k C...

For the electricity system with a high proportion of new energy, extreme weather events caused by climate change will make energy power supply present an extremely complicated situation, thus affecting safe and stable operation system. In order to solve above problems, this study proposes classification method process based on Progressive Layered Extraction (PLE) model considering weather-sensitive factors impact energy. This analyses sensitive output from two perspectives abnormal...

Despite the great success of High-Level Synthesis (HLS) tools, we observe several unresolved challenges: 1) high-level abstraction programming styles in HLS sometimes conceals optimization opportunities; 2) existing tools do not provide flexible trade-off (Pareto) solutions among different objectives and constraints; 3) actual quality resulting RTL designs is hard to predict. To address these challenges, propose an end-to-end framework, namelyIronMan. The primary goal enable a automated...

Mobile headsets should be capable of understanding 3D physical environments to offer a truly immersive experience for augmented/mixed reality (AR/MR). However, their small form-factor and limited computation resources make it extremely challenging execute in real-time vision algorithms, which are known more compute-intensive than 2D counterparts. In this paper, we propose DeepMix, mobility-aware, lightweight, hybrid object detection framework improving the user AR/MR on mobile headsets....

Reasoning high-level abstractions from bit-blasted Boolean networks (BNs) such as gate-level netlists can significantly benefit functional verification, logic minimization, datapath synthesis, malicious identification, etc. Mostly, conventional reasoning approaches leverage structural hashing and propagation, suffering limited scalability inefficient usage of modern computing power. In response, we propose a novel symbolic framework exploiting graph neural (GNNs) GPU acceleration to reason...

Multi-chip many-core neural network systems are capable of providing high parallelism benefited from decentralized execution, and they can be scaled to very large with reasonable fabrication costs. As multi-chip scale up, communication latency related effects will take a more important portion in the system performance. While previous work mainly focuses on core placement within single chip, there two principal issues still unresolved: communication-related problems caused by non-uniform,...

Despite the recent progress on machine learning (ML) based performance modeling, two major concerns that may impede production-ready ML applications in electronic design automation (EDA) are stringent accuracy requirements and generalization capability. To address these challenges, we a propose novel approach, namely LOSTIN <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sup> LOSTIN.com is travel guide service to help people who visit new...

With the ever-increasing hardware design complexity comes realization that efforts required for verification increase at an even faster rate. Driven by push from desired productivity boost and pull leap-ahead capabilities of machine learning (ML), recent years have witnessed emergence exploiting ML-based techniques to improve efficiency verification. In this article, we present a panoramic view how are embraced in verification, formal simulation-based academia industry, current progress...

While mobile applications have greatly benefited from 2D computer vision algorithms such as object detection and classification, there is limited research on exploring 3D that enabled by the increasing availability of depth cameras LiDAR scanners devices. In this paper, we propose a hybrid system intelligently combines for improving performance emerging augmented mixed reality volumetric content analytics. Our motivated explores key observation crucial latency-accuracy tradeoff between...

Despite the great advance achieved by electronic design automation (EDA) tools, there is still a long way towards hardware agile development, whose ultimate goal to reduce chip development cycles from years months or even weeks. Hardware typically involves many optimization-evaluation iterations, indicating that (1) fast and accurate quality-of-result (QoR) evaluation (2) efficient optimization, either independently integrally, will conspicuously improve efficiency. Specifically, targeting...

With many advantageous features such as softness and better biocompatibility, flexible electronic device is a promising technology that can enable emerging applications. However, most of the existing applications with devices are sensors drivers, while there nearly no utilization aiming at complex computation, because have lower electron mobility, simple structure, large process variation. In this paper, we propose an innovative method enabled to implement real-time energy-efficient...

With data durability, high access speed, low power efficiency and byte addressability, NVMe SSD, which are acknowledged representatives of emerging storage technologies, have been applied broadly in many areas. However, one key issue with high-performance adoption these technologies is how to properly define intelligent cache layers such that the performance gap between main memory can be well bridged. To this end, we propose Phoebe, a reuse-aware reinforcement learning framework for optimal...

Mapping and localization are the key components in mobile spatial computing to facilitate interactions between users digital model of physical world. To enable localization, devices keep capturing images real-world surroundings uploading them a server with maps for localization. This leads privacy concerns on potential leakage sensitive information both (e.g., when used confidential industrial settings or our homes). Motivated by above issues, we present holistic research agenda this paper...

We propose a phase unwrapping approach. With local frequencies estimated by the maximum likelihood (ML) estimator, unwrapped at central pixel of image is obtained fitting phases with an ideal plane assumed. take region-growing strategy in which quality map guides from high-quality pixels to low-quality pixels, minimizing propagation errors. Experimental results, carried out on simulated data, show advantage proposed approach over other approaches accuracy, and furthermore efficiency...

STPA is a safety analysis method of process control systems, which can find interactive hazards between components on system level, and analyze the reason accidents from perspective failed control. However, poor usability has been problem in application results different users may vary widely. By modifying understanding discretizing system, this paper proposed novel system. A case study typical also provided to further describe operating procedures method.

Abstract In this paper, we firstly give a new definition, namely, the T point of algebroid functions. Then by using Ahlfors’ theory covering surfaces, prove existence these points for any ν-valued functions in unit disk satisfying $\mathop {\lim \sup }\limits_{r \to 1^ - } \frac{{T(r,w)}} {{\log \tfrac{1} {{1 r}}}} = + \infty $. This extends recent results Xuan, Wu and Sun.

System-theoretic Process Analysis (STPA) is an emerging safety analysis method which can recognize the impact on system of non-linear interactions between components. However, implementation STPA mainly depends experience analyst and his/her understanding system. The results vary from person to person, it difficult guarantee quality analysis. In this paper, UML views are used expand control model, object model established acquire information, functional dynamic unsafe actions reasons these...