| Index |
|---|
|
The Sacred Blank Foreword Paintings Music Selections Academia Activities About Abbey |
§ Foreword
Listen to the sound of rain drops and the theme of this scene , immerse yourself in the vibe of City of tears.
Enjoy!
Nero Horus
§ Paintings
 |
|---|
| Thangka, 2004. Watercolor; 41 x 34 cm. |
 |
|---|
| Mind, 2006. Watercolor; 50 x 70 cm. |
 |
|---|
|
Chemical, 2010. Ballpoint pen; 30 x 21 cm. Textbook cover drawn in middle ages fashion. |
 |
|---|
|
Angels & Demons, 2010. Pencil; 30 x 21 cm. Sketch of the statue in the movie 'Angels & Demons'. |
 |
|---|
|
Bell state, 2016. Acrylic. A symmetric symbol, grants blessing and courage, painted on a bag cover. |
 |
|---|
|
Saint Michael, 2016. Pencil; 30 x 21 cm. Sketch of the Archangel Michael at Castle Sant'Angelo. |
§ Music selections
Some music I listened. Links to channels of copyright owners or other enthusiasts.| Title | Link | Type |
|---|---|---|
| Sound! Euphonium 2 ~ Concerto for Euphonium and Orchestra | YouTube | Gentle; Orchestra |
| Hibike! Euphonium Original Soundtrack : Disk 2 Track 14 : プロヴァンスの風 | YouTube | Inspiring; Orchestra |
| The Prayer (Josh Groban and Charlotte Church) | YouTube | Gentle; Vocal |
| [Arknights OST] Sacrifice | YouTube | Dignified; Orchestra |
| [Arknights OST] Friend | YouTube | Gentle; Orchestra |
| [Arknights/明日方舟] Twilight of Wolumonde Battle BGM :: mudrock | YouTube | Dignified; Orchestra |
| The Outline - Shotgun | YouTube | Rock |
| ALIVE (Obadiah Brown-Beach and Cristina Vee) | YouTube | Rock |
| Bury the Light - Vergil's battle theme from Devil May Cry 5 Special Edition | YouTube | Rock |
| テーマ・オブ・半沢直樹 ~Longing~ | YouTube | Gentle; Vocal; Orchestra |
| [Arknights] Who is Real BGM - duskdragon | YouTube | Dignified; Orchestra |
| The Last Blade 2 - Track 25 Moonlight - unknown version 2001 | YouTube | Gentle; Orchestra |
§ Academia Activities
Publications
Some publications related to Nero Horus.All collaborators, reviewers, comparison subjects, and cited references are gratefully acknowledged.
| Title | Publisher | Category | Year | |
|---|---|---|---|---|
A Circuit-Based SAT Solver for Logic Synthesis (Academia version) |
IEEE | ICCAD | 2021 | |
A Circuit-Based SAT Solver for Logic Synthesis (Engineering version) |
IWLS | 2021 | ‡ | |
Deep Integration of Circuit Simulator and SAT Solver |
IEEE | DAC | 2021 | † |
SAT-Based On-Track Bus Routing |
IEEE | TCAD | 2021 | |
SFO: A Scalable Approach to Fanout-Bounded Logic Synthesis for Emerging Technologies |
IEEE | DAC | 2020 | |
Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders |
IEEE | DAC | 2018 |
| ‡ Best student paper award |
| † Nero Horus serves as mascot |
Competitions
Some competitions Nero Horus was involved.All collaborators, organizers, competitors, comparison subjects, and invoked references are gratefully acknowledged.
| Topic | Title | Organizer | Year | Ranking | |
|---|---|---|---|---|---|
---- |
---- | ---- | 2021 | 1 | ⸸ |
Routing with Cell Movement |
CAD Contest | ICCAD | 2020 | 4 | † |
LEF/DEF Based Open-Source Global Router |
CAD Contest | ICCAD | 2019 | 2 | † |
Logic Regression on High Dimensional Boolean Space |
CAD Contest | ICCAD | 2019 | 2 | |
| CADathlon | ICCAD | 2019 | 2 | ||
Legal AIGs: Fanout-Bounded Logic Synthesis |
IWLS Contest | IWLS | 2019 | 1 | † |
Obstacle-aware On-Track Bus Routing |
CAD Contest | ICCAD | 2018 | 3 | † |
All the Best: Exact Synthesis |
IWLS Contest | IWLS | 2018 | 1 | † |
Resource-aware Patch Generation |
CAD Contest | ICCAD | 2017 | 2 | † |
PPDebug: Parallelizable Power Structural Debugging |
Platform Dev. | SpringSoft ‡ | 2012 | 1 |
| † Solo student member competiting against other teams |
| ‡ Synopsys acquired SpringSoft in 2012 |
| ⸸ Nero Horus serves as mascot |
Symbol Table
The abbreviations referred above are detailed here.| Abbreviation |
Formal Titles of Organizers or Committees |
| IWLS | International Workshop on Logic and Synthesis |
| DAC | Design Automation Conference |
| ICCAD | International Conference on Computer Aided Design |
| TCAD | Transactions on Computer Aided Design of Integrated Circuits and Systems |
Miscell
| Domain | Title | Note |
|---|---|---|
| Xilinx toolchain |
Bug report: Vivado 2021.2 revision number overflow after new year (8:37am, Jan 1, 2022)
(Link)
|
Y2K22(Link) |
§ About
A visual content creator, motivated by instinct.An average entertainment enjoyer, spreading the touched mind of various recreation.
An explorer, in search of meaning of conscious, in the name of Nero Horus.
Contact the abbot
start ...
... end